ott

Tool for writing definitions of programming languages and calculi

https://www.cl.cam.ac.uk/~pes20/ott/

/api/formula-linux/ott.json (JSON API)

Linux formula code on GitHub

Current versions:

stable 0.29
head ⚡️ HEAD
bottle 🍾 catalina, mojave, high_sierra, x86_64_linux

Depends on when building from source:

ocaml 4.08.1 General purpose programming language in the ML family
Fork me on GitHub