GitPlanet
All Git Users → nick8325

3 open source projects by nick8325

[ Open user page on Github ]
1. Quickspec
Equational laws for free
✭ 205
haskell
2. Quickcheck
Automatic testing of Haskell programs.
✭ 596
haskell
3. twee
An equational theorem prover based on Knuth-Bendix completion
✭ 37
haskellprologOpenEdge ABL
1-3 of 3 user projects