Popular repositories Loading

1. quickcheck quickcheck Public

   Automatic testing of Haskell programs.

   Haskell 766 127

2. quickspec quickspec Public

   Equational laws for free

   Haskell 260 27

3. remarkable-fs remarkable-fs Public

   A FUSE filesystem wrapper for the reMarkable tablet

   Python 87 14

4. twee twee Public

   An equational theorem prover based on Knuth-Bendix completion

   Haskell 55 13

5. equinox equinox Public

   Paradox model finder and equinox theorem prover for first-order logic.

   Haskell 21 4

6. jukebox jukebox Public

   A theorem prover

   Haskell 13