ott-0.28.txz


Advertisement

Description

ott - Tool for writing definitions of programming languages and calculi

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Latest amd64
Package filename ott-0.28.txz
Package name ott
Package version 0.28
Package release -
Package architecture amd64
Package type txz
Category lang
Homepage https://github.com/ott-lang/ott
License BSD3CLAUSE
Maintainer domagoj.stolfa@cl.cam.ac.uk
Download size 757.21 KB
Installed size 3.32 MB
A tool for writing definitions of programming languages and calculi
by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
WWW: https://github.com/ott-lang/ott

Alternatives

Package Version Architecture Repository
ott-0.28.txz 0.28 i386 FreeBSD Ports Latest
ott-0.28.txz 0.28 amd64 FreeBSD Ports Quarterly
ott-0.28.txz 0.28 i386 FreeBSD Ports Quarterly
ott - - -

Requires

Name Value
ocaml = 4.02.3

Download

Type URL
Mirror pkg.freebsd.org
Binary Package ott-0.28.txz
Source Package lang/ott

Install Howto

Install ott txz package:

# pkg install ott

See Also

Package Description
otter-3.3f_2.txz Theorem prover and finite model searcher
otter-browser-1.0.01_3.txz Browser based on Qt 5
outerspace-0.2.2_9.txz On-line strategy game
outguess-0.2.txz Steganographic tool
ovs-1.05_5.txz RRDtool frontend for mail statistics
owamp-3.3.txz Implementation of the One-Way Active Measurement Protocol
owasp-dependency-check-3.1.1.txz Detects publicly disclosed vulnerabilities in project dependencies
owfs-3.2p3_1.txz OWFS -- 1-Wire file system
owl-lisp-0.1.14.txz Functional dialect of Scheme
owncloud-php71-10.2.1.txz Personal cloud which runs on your own server
owncloud-php72-10.2.1.txz Personal cloud which runs on your own server
owncloud-php73-10.2.1.txz Personal cloud which runs on your own server
owncloudclient-2.4.1_5.txz OwnCloud Desktop Syncing Client
owrep-1.2.txz Weather reporting program using openweathermap.org
oxygen-fonts-5.4.3.txz Plasma5 Oxygen font family
Advertisement
Advertisement