cairo_native
Cairo compiler
Compiles Cairo's intermediate representation to machine code using MLIR and LLVM
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
123 stars
8 watching
43 forks
Language: Rust
last commit: 3 months ago
Linked from 1 awesome list
cairomlirrust
keep-starknet-strange/awesome-starknetRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
| lambdaclass/cairo-vm_in_go | An implementation of a programming language for writing provable programs in Go. | 57 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 56 |
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 rpav/cl-cairo2 | Cairo bindings for Common Lisp allow the creation of graphical user interfaces in a high-level, dynamic language. | 62 |
 mikelma/oktac | A compiler for an experimental programming language called Okta | 27 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 franalgaba/neural-network-cairo | An implementation of a neural network from scratch using Cairo 1.0 for MNIST predictions | 10 |
 champii/rock | A Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages. | 67 |
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 murisi/l2 | A minimalist language with procedural macro support | 135 |
 mustafaquraish/cup | A simple, C-like programming language compiler written in Rust to learn the basics of compilers and language processing | 295 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |