Quentin Carbonneaux

gthreads. Toy Green Threads for C.

gthreads-art. A green threads tutorial.

lambda. A small λ-calculus interpreter in C

fnt. Bitmap font edition tools.

re. Minimal and fast regular expression library for C.

parsexp. LR parsing based calculators

chunking. C

ninja. A lightweight C yacc (and some cool LR(1) code in ml)

dkparse. A fast λΠ-modulo type checker.

dedukti. A type-checker for the λΠ-modulo calculus.

xbar. Minimalistic status bar for X11.

mlannot. See OCaml type annotations in VIM as fast as C.

lua-lang. Haskell library to handle Lua source code (Parsing, Printing, Quasi-Quotations).

iip. Coq

ml. machine learning experiments

vim-hol. 👀 VIM mode for HOL-Light and HOL4

mkd. A Haskell Markdown implementation.

satx. sat experiments

avl-myr.

coredump. OCaml

hol. HOL experiments