ott

Install command:
brew install ott

Tool for writing definitions of programming languages and calculi

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

License: BSD-3-Clause

Formula JSON API: /api/formula/ott.json

Formula code: ott.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sequoia
sonoma
ventura
monterey
Intel sonoma
ventura
monterey
64-bit linux

Current versions:

stable 0.33
head ⚡️ HEAD

Depends on when building from source:

gmp 6.3.0 GNU multiple precision arithmetic library
ocaml 5.2.0 General purpose programming language in the ML family
opam 2.3.0 OCaml package manager
pkgconf 2.3.0 Package compiler and linker metadata toolkit

Analytics:

Installs (30 days)
ott 4
Installs on Request (30 days)
ott 4
Build Errors (30 days)
ott 0
Installs (90 days)
ott 21
Installs on Request (90 days)
ott 21
Installs (365 days)
ott 208
Installs on Request (365 days)
ott 208
Fork me on GitHub