nick8325/gc
A non-conservative garbage collector for cooperating C programs. Not entirely sure why it exists.
Developer Profile
nick8325
Discovered public repositories for nick8325 in the GitHub catalog.
nick8325/metaerlang
Symbolic evaluation for the pure part of Erlang.
nick8325/complexity
Infer complexity of algorithms by testing
nick8325/hott-html
A textbook on informal homotopy type theory - with HTML/epub/mobi output
nick8325/flashcards
A wee flashcard program
nick8325/fusion
Tinkering with list fusion
nick8325/guess
Guess the definition of a predicate by black-box testing
nick8325/combinatory-logic-in-shell-script
I was feeling evil one night :)
nick8325/quickcheck
Automatic testing of Haskell programs.
nick8325/quickspec
Equational laws for free
nick8325/munch-testdata
Test data for munch
nick8325/munch
Fast parser combinators
nick8325/beeby
A BBC Micro emulator
nick8325/equinox
Paradox model finder and equinox theorem prover for first-order logic.
nick8325/jukebox
A theorem prover