Categories: software

Software

Software on github

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

SibylFS

SibylFS is a test oracle for file systems. See here

tjr_btree

A COW B-tree library in OCaml.

Parsing

See the separate page parsing

Lem

"Lem is a lightweight tool for writing, managing, and publishing large scale semantic definitions."

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

Ott

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

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

Netsem TCP/IP specification

Available on github: https://github.com/PeterSewell/netsem/

Verified parser

See the blog article

Verified theorem prover

Available at the Archive of Formal Proofs, http://afp.sourceforge.net/entries/Verified-Prover.shtml

Various Isabelle/HOL formalizations

Available at the Archive of Formal Proofs, http://afp.sourceforge.net/



Related articles:

  • 2017-03-16 tjr_btree: a COW B-tree library in OCaml
  • 2016-11-17 OCaml string functions
  • 2016-02-19 Tree-structured text
  • 2016-02-09 Simple implementation of an Earley-like parsing algorithm
  • 2015-06-26 P5 scala parsing library
  • 2014-11-21 Talk on parsing at the University of Sussex
  • 2014-09-26 P1 combinator parsing library for OCaml
  • 2014-09-26 E3 earley parser library for OCaml
  • 2014-04-15 New release of P3 code on github
  • 2014-03-02 New release of P3 code on github
  • 2013-12-16 New release of P3 code on github
  • 2013-11-24 Experience of using Lem
  • 2011-12-01 Verified parsing