greged93

rust

Empowering everyone to build reliable and efficient software.

act

Run your GitHub Actions locally 🚀

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

rust-bindgen

Automatically generates Rust FFI bindings to C (and some C++) libraries.

hashbrown

Rust port of Google's SwissTable hash map

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo-lang

kakarot

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

madara

Building the Integrity Web. The most modular ZK Rollup framework.

cairo-vm

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 that a certain computation was executed correctly without the need for this party to re-execute the same program.

starknet-rs

Complete Starknet library in Rust™

stone-prover

alexandria

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

stwo

dna

Apibara is the fastest platform to build production-grade indexers that connect onchain data to web2 services.

starkli

Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀

kakarot-ssj

Kakarot zkEVM - rewrite in the latest version of Cairo

kakarot-rpc

Kakarot ZK EVM Ethereum RPC adapter

cairo-vm_in_go

cairo-vm_in_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.

cainome

A library to generate bindings from Cairo ABI.

rs-topology

(currently not usable) The official Rust implementation of Topology Protocol

ef-tests

Test runner for ethereum foundation tests

cairo-vm-ts

A typescript implementation of the Cairo VM

python-sdk

Apibara Python SDK.

mumu-view

cairo-matchbox-hackathon

The first AI agent trained on-chain.

Inception

CPP

C++ modules to get familiar with Object-oriented programing. Concepts such as inheritance, polymorphism and the STL are seen.

ft_containers

philosophers

The philosopher's dinner : threads, processes and how to handle shared memory and avoid race conditions and deadlocks.