stedolan.net [email protected]
Stephen Dolan
A brainfuck compiler, written in sed
stedolan
safe FFI between OCaml and Rust (experimental)
Counterexamples in Type Systems
Property fuzzing for OCaml
List files, annotated by git status
Random scripts, snippets of code, whatever.
Experimental Malfunction backend for Idris
Malfunctional Programming
A tiny and surprisingly featureful webserver
Prototype type inference engine
