Lists (1)
Starred repositories
From Zero to QED: An informal introduction to formality with Lean 4
Course notes for Formalising Mathematics 2026
Systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and proven sound in Lean
4
Updated Dec 26, 2025
A fast entity component system (ECS) for C & C++
a minimal implementation of incremental computation in Scheme
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Cairo is the first Turing-complete language for creating provable programs for general computation.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
An implementation of the Austral language compiler in Rust
A Rust implementation of Starknet execution logic
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Performance and security acceleration for zkVMs.
Un resumen del idioma más bonito que existe: el euskera.
A curated list of awesome LLVM (including Clang, etc) related resources.
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
🦀 Small exercises to get you used to reading and writing Rust code!
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
High-performance, high-scalability distributed computing for the BEAM.