pilki/s2sLoop
Parts of the code of my PhD
Developer Profile
pilki
Discovered public repositories for pilki in the GitHub catalog.
pilki/anMLcompiler
a local clone of a famous ML compiler
pilki/coq2tex
Produce LaTeX code from Coq
pilki/PilkiLib
My general purpose coq library
pilki/cfml_git
A copy of the cfml svn repo to play with it
pilki/OCertif
Proving the OCaml standard library with CFML
pilki/FPdNaCl
Formally Proved Native Client
pilki/zombi
Ze Ocaml Builder
pilki/cases
A bit more than the (S*)Case tactics in Coq