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

Development: Pull requests

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

Formula code: ott.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon		 tahoe ✅
sequoia ✅
sonoma ✅
macOS on
Intel		 sonoma ✅
Linux ARM64 ✅
x86_64 ✅

Current versions:

stable ✅ 0.34
head ⚡️ HEAD

Revision: 1

Depends on when building from source:

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

Analytics:

Installs (30 days)
ott 56
Installs on Request (30 days)
ott 56
Build Errors (30 days)
ott 6
Installs (90 days)
ott 58
Installs on Request (90 days)
ott 58
Installs (365 days)
ott 103
Installs on Request (365 days)
ott 103