cairo-lang
Programming language
A language and package for writing provable programs in Python.
1k stars
36 watching
265 forks
Language: Python
last commit: 5 days ago
Linked 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 that can perform general computation | 1,599 |
| starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 260 |
 shramee/starklings-cairo1 | An interactive tutorial to get started with Cairo and Starknet programming | 452 |
 software-mansion/starknet.py | A Python SDK for interacting with Starknet, a Layer 2 scaling solution for Ethereum. | 260 |
 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. | 315 |
 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. | 65 |
 jfecher/ante | A systems language focused on refinement types and lifetime inference | 1,908 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
 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 facilitate secure multi-party computation using garbled circuits | 39 |
 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 | 140 |