Categories: software
Software
Software on github
See https://github.com/tomjridge. Some repositories of interest (in roughly chronological order):
| Title and link | Description |
|---|---|
| Netsem | The Netsem TCP/IP specification |
| Ott | “Ott is a tool for writing definitions of programming languages and calculi.” |
| Lem | “Lem is a lightweight tool for writing, managing, and publishing large scale semantic definitions.” |
| SibylFS | A formal specification and test oracle for file systems. |
| tjr_btree | A B-tree library for OCaml (and JavaScript). |
| tjr_kv | A key-value store for OCaml (and JavaScript). |
Some of these use travis, see here for build statuses.
NOTE: JavaScript versions via js-of-ocaml
Parsing
See the separate page parsing.
Verified parser: see the blog article.
Older stuff
- Verified theorem prover. Available at the Archive of Formal Proofs, here
- Various Isabelle/HOL formalizations available at the Archive of Formal Proofs
Related posts:
- 2020-05-22 A simple MCQ test program, in OCaml, compiled to JavaScript
- 2019-08-30 B-tree random write performance
- 2019-08-21 ML'19 Workshop at ICFP: A key-value store for OCaml
- 2018-07-09 Backup tools
- 2018-02-01 New OCaml library: path resolution
- 2017-11-14 New OCaml parsing algorithm: tjr_simple_earley
- 2017-09-17 Two new OCaml libraries: P0 and tjr-csv
- 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