ott

Tool for writing definitions of programming languages and calculi

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

Current versions:

stable 0.28
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Depends on when building from source:

ocaml 4.06.1 General purpose programming language in the ML family

JSON API for ott

Formula code on GitHub

Fork me on GitHub