cairo-lang
Programming language
A language and package for writing provable programs in Python.
1k stars
37 watching
267 forks
Language: Python
last commit: almost 2 years agoLinked from 3 awesome lists
ventali/awesome-zk
learn-anything/programming-languages
arpitingle/library-of-ethereumRelated projects:
| Repository | Description | Stars |
|---|---|---|
| starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
| starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 261 |
 shramee/starklings-cairo1 | An interactive tutorial to get started with Cairo and Starknet programming | 453 |
 software-mansion/starknet.py | An SDK for interacting with the Starknet blockchain. | 262 |
 saptakbhoumik/peregrine | A compiled systems programming language with a focus on simplicity and efficiency | 1,459 |
 heades/system-f-coq | An implementation of System F in Coq, aiming to provide a rigorous and expressive formal system for describing programming languages. | 19 |
| starkware-libs/papyrus | A full node implementation for the Starknet blockchain in Rust. | 318 |
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 64 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,920 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
 mwerezak/sphinx-lang | An interpreter for a dynamically typed language written in Rust, aiming to create a lightweight and expressive language runtime. | 290 |
 sine-fdn/garble-lang | A programming language designed to be used in multi-party computation with garbled circuits | 38 |
 phorward/colm | A programming language designed to analyze and transform computer languages through grammar-based parsing | 1 |
 l-henri/starknet-cairo-101 | A tutorial series on building smart contracts with the Cairo language on StarkNet. | 23 |
 mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 143 |