See https://github.com/tomjridge. Includes various parsers (P1, P3, E3, P4).
orebuildcan also be used to simplify Makefiles.
SibylFS is a test oracle for file systems. See here
A COW B-tree library in OCaml.
See the separate page parsing
"Lem is a lightweight tool for writing, managing, and publishing large scale semantic definitions."
"Ott is a tool for writing definitions of programming languages and calculi."
Available on github: https://github.com/PeterSewell/netsem/
See the blog article
Available at the Archive of Formal Proofs, http://afp.sourceforge.net/entries/Verified-Prover.shtml
Available at the Archive of Formal Proofs, http://afp.sourceforge.net/