greged93's repositories
loot-indexer
Loot survivor indexer written in Go
cairo-native-example
Small example of running cairo-native
stark-anatomy
Translation of the "Anatomy of a STARK" Python code to Rust
alloy
Transports, Middleware, and Networks for the Alloy project
caigo
Golang Library for StarkNet/Cairo
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
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.
cairo-vm-go
A virtual machine for Cairo 1 written in Go
cairo-vm-ts
A typescript implementation of the Cairo VM
cairo-vm.go
cairo-vm.go is a Go 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 without the need for this party to re-execute the same program.
cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
dojo
An Onchain Game Engine implemented in Cairo 1.0
ef-tests
test runner for ethereum foundation tests
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
hack_assembler
nand2Tetris hack assembler implementation in Rust
hack_compiler
Hack compiler from the nand2tetris project written in Rust
kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
kakarot-rpc
Kakarot ZK EVM Ethereum RPC adapter
kakarot-ssj
Kakarot ZK-EVM in Cairo 1.0 🐺 ⚡
madara
🥷🩸 Madara is a ⚡ blazing fast ⚡ Starknet sequencer, based on substrate, powered by Rust 🦀
monnaie-sdk
Monnaie SDK for standardized EVM transfers
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
solana-program-library
A collection of Solana programs maintained by Solana Labs
starkli
Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
starknet-jsonrpc-codegen
Tool for generating the Starknet JSON-RPC code used in `starknet-rs`
starknet_in_rust
A Rust implementation of Starknet execution logic
tests
Common tests for all Ethereum implementations