Cairo

Turing-complete language for creating provable programs for general computation

Project website

Installation methods

Open it in a graphical application? In development

channel:

unstable

version:

2.11.2

supported:

Yes

broken:

No

license:

Free

platforms:

38