FreeBSD.software
Home/lang/ott

ott

0.33

Tool for writing definitions of programming languages and calculi

A tool for writing definitions of programming languages and calculi by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.

Origin: lang/ott
Category: lang
Size: 4.27MiB
License: BSD3CLAUSE
Maintainer: domagoj.stolfa@cl.cam.ac.uk
Dependencies: 1 packages
Required by: 0 packages
Website: github.com/ott-lang/ott
$pkg install ott

Dependencies (1)

ocaml

More in lang

perl55.42.0_1
Practical Extraction and Report Language
python3113.11.15
Interpreted object-oriented programming language
ruby3.3.10,1
Object-oriented interpreted scripting language
php848.4.16
PHP Scripting Language (8.4.X branch)
gcc1414.2.0_4
GNU Compiler Collection 14
php828.2.30
PHP Scripting Language (8.2.X branch)
php838.3.29
PHP Scripting Language (8.3.X branch)
php858.5.1
PHP Scripting Language (8.5.X branch)
tcl868.6.17
Tool Command Language
p5-Try-Tiny0.32
Minimal try/catch with proper localization of $@