mpu/haskell-puzzle
Brute force puzzle solving.
Discovered public repositories for mpu in the GitHub catalog.
Brute force puzzle solving.
Minimal and fast regular expression library for C.
A green threads tutorial.
Toy Green Threads for C.
A Haskell Markdown implementation.
A fast λΠ-modulo type checker.
Haskell library to handle Lua source code (Parsing, Printing, Quasi-Quotations).
A type-checker for the λΠ-modulo calculus.
Minimalistic status bar for X11.
See OCaml type annotations in VIM as fast as C.
A small λ-calculus interpreter in C