Pinned Repositories
cairo-vm-gs
A google app script implementation of the Cairo VM
degensplit
A decentralized DeFied Splitwise for web3 apes
eth-projects-monorepo
gas-benchmark
mistral
Official repo of the R package mistral
RainBot
starknet-nodes
Documentation for deploying prod grades Starknet nodes
Keras-FewShotLearning
Some State-of-the-Art few shot learning algorithms in tensorflow 2
chain-dreamers-monorepo
starksheet-monorepo
ClementWalter's Repositories
ClementWalter/cairo-vm-gs
A google app script implementation of the Cairo VM
ClementWalter/RainBot
ClementWalter/cairo-lang
ClementWalter/evm_mlir
An EVM written with MLIR
ClementWalter/kakarot
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
ClementWalter/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
ClementWalter/cairo-rs
cairo-rs 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 that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
ClementWalter/cairo-run
ClementWalter/cairo-vm-rs-py
Python bindings for the Cairo VM in rust
ClementWalter/cairo-vm-ts
A typescript implementation of the Cairo VM
ClementWalter/cairo-zig
⚡ Cairo VM in Zig ⚡
ClementWalter/cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
ClementWalter/crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
ClementWalter/ef-tests
test runner for ethereum foundation tests
ClementWalter/ethereum-rlp
Recursive-length prefix (RLP) serialization as used by the Ethereum Specification.
ClementWalter/ethereum-types
Types used by—but not specific to—the Ethereum specification.
ClementWalter/execution-specs
Specification for the Execution Layer. Tracking network upgrades.
ClementWalter/hello-starknet
ClementWalter/kakarot-docs
Docusaurus Documentation for Kakarot zkEVM
ClementWalter/kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
ClementWalter/kakarot-ssj
Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡
ClementWalter/keth
Integration of the Kakarot Ethereum execution layer in the Reth client.
ClementWalter/rsp
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
ClementWalter/SNIPs
Starknet Improvement Proposal repository
ClementWalter/sp1
A performant, 100% open-source, contributor-friendly zkVM.
ClementWalter/starknet-devnet-rs
A local testnet for Starknet... in Rust
ClementWalter/string_sum
Testing maturin
ClementWalter/stwo
ClementWalter/stwo-brainfuck
A STWO AIR for the BrainfuckVM
ClementWalter/tolomei