ott (devel/ott) Add to my watchlist

tool for writing definitions of programming languages

Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.

Version: 0.25 License: BSD GitHub
Maintainers ggreif (GitHub handle not provided)
Categories devel
Homepage http://www.cl.cam.ac.uk/~pes20/ott/
Platforms darwin
Variants -

"ott" depends on

lib (1)
build (1)

Ports that depend on "ott"

No ports


Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: cannot check if ott was updated (regex didn't match)

last updated: 9 hours ago