Nick Smallbone

icon location Göteborg, Sweden

Results 4 repositories owned by Nick Smallbone

quickcheck

635
Stars
111
Forks
Watchers

Automatic testing of Haskell programs.

verified publisher icon nick8325

quickspec

230
Stars
23
Forks
Watchers

Equational laws for free

verified publisher icon nick8325

remarkable-fs

72
Stars
12
Forks
Watchers

A FUSE filesystem wrapper for the reMarkable tablet

verified publisher icon nick8325

twee

38
Stars
9
Forks
Watchers

An equational theorem prover based on Knuth-Bendix completion

verified publisher icon nick8325