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.4.0 OCaml package manager
pkgconf 2.5.1 Package compiler and linker metadata toolkit

Analytics:

Installs (30 days)
ott 3
Installs on Request (30 days)
ott 3
Build Errors (30 days)
ott 0
Installs (90 days)
ott 11
Installs on Request (90 days)
ott 11
Installs (365 days)
ott 103
Installs on Request (365 days)
ott 103
Fork me on GitHub