Categories: software

See https://github.com/tomjridge. Includes various parsers (P1, P3, E3, P4).

- orebuild: Given .depend and a list of changed ml/mli files, compute all ml/mli files that need to be recompiled. This can be used to speed up ocaml builds by avoiding repeated invocation of ocamlc/ocamlopt.
`orebuild`

can also be used to simplify Makefiles.

SibylFS is a test oracle for file systems. See here

`tjr_btree`

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."

See http://www.cl.cam.ac.uk/~pes20/lem/

"Ott is a tool for writing definitions of programming languages and calculi."

See http://www.cl.cam.ac.uk/~pes20/ott/

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/

Related articles: