FreeBSD.software

Home/lang/cairo-language

cairo-language

2.14.0_1lang

Turing-complete language for creating provable programs

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

$pkg install cairo-language

www.cairo-lang.org ↗

Origin

lang/cairo

Size

126MiB

License

APACHE20

Maintainer

yuri@FreeBSD.org

Dependencies

1 packages

Required by

0 packages

Dependencies (1)