cairo-lang
AI summary
Programming language
A language and package for writing provable programs in Python.
- stars
- 1.4K
- forks
- 267
- watching
- 37
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Programmable language
A Rust-based language for creating provable programs with computational integrity
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
Programming tutorial
An interactive tutorial to get started with Cairo and Starknet programming
Blockchain SDK
An SDK for interacting with the Starknet blockchain.
Systems language
A compiled systems programming language with a focus on simplicity and efficiency
Formal language system
An implementation of System F in Coq, aiming to provide a rigorous and expressive formal system for describing programming languages.
Blockchain client
A full node implementation for the Starknet blockchain in Rust.
Systems programming language
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.
jfecher/ante1.9K
Systems language
A systems language focused on refinement types and lifetime inference
Proof system
A high-speed recursive proof system for cryptographic primitives
Language interpreter
An interpreter for a dynamically typed language written in Rust, aiming to create a lightweight and expressive language runtime.
Garbled programming language
A programming language designed to be used in multi-party computation with garbled circuits
Parses languages
A programming language designed to analyze and transform computer languages through grammar-based parsing
Contract tutorial
A tutorial series on building smart contracts with the Cairo language on StarkNet.
Hardware design language
A formal language for designing and verifying rule-based hardware systems
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions cairo-lang.
