Cairo

Turing-complete language for creating provable programs for general computation

Сайт проекта

канал:

unstable

версия:

2.11.2

поддерживается:

Да

сломан:

Нет

лицензия:

Свободная

платформы:

38