FreeBSD.software
Home/lang/cairo-language

cairo-language

2.14.0_1

Turing-complete language for creating provable programs

Cairo is the first Turing-complete language for creating provable programs for general computation.

Origin: lang/cairo
Category: lang
Size: 126MiB
License: APACHE20
Maintainer: yuri@FreeBSD.org
Dependencies: 1 packages
Required by: 0 packages
Website: www.cairo-lang.org
$pkg install cairo-language

Dependencies (1)

zstd

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 $@