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:

macOS on
Apple Silicon
sequoia
sonoma
ventura
macOS on
Intel
sonoma
ventura
Linux ARM64
x86_64

Current versions:

stable 0.34
head ⚡️ HEAD

Depends on when building from source:

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

Analytics:

Installs (30 days)
ott 5
Installs on Request (30 days)
ott 5
Build Errors (30 days)
ott 2
Installs (90 days)
ott 7
Installs on Request (90 days)
ott 7
Installs (365 days)
ott 133
Installs on Request (365 days)
ott 133
Fork me on GitHub