cairo_native
by lambdaclass
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
AI summary
Cairo compiler
Compiles Cairo's intermediate representation to machine code using MLIR and LLVM
- stars
- 123
- forks
- 43
- watching
- 8
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
Programmability library
An implementation of a programming language for writing provable programs in Go.
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
Programmable language
A Rust-based language for creating provable programs with computational integrity
Compiler
A minimal functional programming language compiler target
GUI library
Cairo bindings for Common Lisp allow the creation of graphical user interfaces in a high-level, dynamic language.
Compiler
A compiler for an experimental programming language called Okta
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Neural Network Implementation
An implementation of a neural network from scratch using Cairo 1.0 for MNIST predictions
Compiler
A Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages.
Hardware compiler framework
Builds hardware descriptions into executable code using an LLVM-style compiler framework.
murisi/l2135
Language compiler
A minimalist language with procedural macro support
Compiler project
A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cairo_native.
