igaray
Follow
Lists (1)
Starred repositories
ethrex: Ethereum Rust Execution L1 and L2 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.
A modular stack for zkVMs, with a focus on productivity, security and performance.
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.
A guide to how rustc works and how to contribute to it.
A home for compiler team planning documents, meeting minutes, and other such things.
In-memory and distributed caching toolkit for Elixir.
A safe arena allocator that allows deletion without suffering from the ABA problem by using generational indices.
FDUPES is a program for identifying or deleting duplicate files residing within specified directories.
