Nick Smallbone

quickcheck. Automatic testing of Haskell programs.

quickspec. Equational laws for free

remarkable-fs. A FUSE filesystem wrapper for the reMarkable tablet

twee. (now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion

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

jukebox. A theorem prover

faustilogue. Convert Faust DSP files to KORG logue custom oscillators

complexity. Infer complexity of algorithms by testing

combinatory-logic-in-shell-script. I was feeling evil one night :)

quickcheck-with-counterexamples. Get counterexamples out of QuickCheck as Haskell values

munch. Fast parser combinators

beeby. A BBC Micro emulator

psx. (now moved to Codeberg) A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.

haiku-ghc. Instructions+patches for building GHC for Haiku

puzzle. The Church numerals puzzle from the FP winter meeting.

fusion. Tinkering with list fusion

flashcards. A wee flashcard program

munch-testdata. Test data for munch

guess. Guess the definition of a predicate by black-box testing

hott-html. A textbook on informal homotopy type theory - with HTML/epub/mobi output

corpora. Tinkering around with corpora queries (nothing to see here yet)

fourier-motzkin. A wee solver for linear inequalities based on Fourier-Motzkin elimination.

imp. Testing imperative code with QuickSpec

example-finding. Haskell