Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Doctest | 366 | 254 | 6 months ago | 63 | October 11, 2023 | 73 | mit | Haskell | ||
An implementation of Python's doctest for Haskell | ||||||||||
Exampleholeplugin | 22 | 4 years ago | Haskell | |||||||
Delve | 8 | 15 years ago | other | Haskell | ||||||
The Delve Programming Language | ||||||||||
Rushcheck | 7 | 15 years ago | other | |||||||
Daisuke IKEGAMI's Ruby port of Quickcheck | ||||||||||
Quipper | 7 | 7 years ago | 2 | other | Haskell | |||||
quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - unofficial fork. | ||||||||||
Handbook Of Practical Logic And Automated Reasoning Haskell | 5 | 10 years ago | gpl-3.0 | |||||||