Popular repositories Loading

1. quickcheck quickcheck Public

   Automatic testing of Haskell programs.

   Haskell 728 120

2. quickspec quickspec Public

   Equational laws for free

   Haskell 249 24

3. remarkable-fs remarkable-fs Public

   A FUSE filesystem wrapper for the reMarkable tablet

   Python 84 14

4. twee twee Public

   An equational theorem prover based on Knuth-Bendix completion

   Haskell 49 12

5. equinox equinox Public

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

   Haskell 20 4

6. jukebox jukebox Public

   A theorem prover

   Haskell 13