wip-track topic

List wip-track repositories

coq

18
Stars
11
Forks
Watchers

Exercism exercises in Coq.

verified publisher icon exercism

idris

32
Stars
18
Forks
Watchers

Exercism exercises in Idris.

verified publisher icon exercism

solidity

15
Stars
7
Forks
Watchers

Exercism exercises in Solidity.

verified publisher icon exercism

pony

38
Stars
20
Forks
Watchers

Exercism exercises in Pony.

verified publisher icon exercism