Autonomous agents for everyone

Safely confirm that a voter's token possession meets or exceeds a predetermined time threshold.

token factory

Permissions for Zodiac Roles covering interactions with DeFi protocols

Experimental TCP video streaming server written in node.js. Streaming over TCP and redistributing using WebSockets.

📃 A public dataset of crypto addresses labeled

Onchain delegations to multiple delegates with cascading weight calculations

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.

Cairo STARK proof verifier for Starknet

Developer Wallet & DevTools for Anvil

🦜🔗 Build context-aware reasoning applications

Contracts for governance of Starknet protocols

NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB

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

An interactive tutorial to get you up and running with Cairo v1 and Starknet

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…

🧮 Small library for big decimal numbers.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

LLM inference in C/C++

Inference code for Llama models

Fastest 4KB JS implementation of secp256k1 signatures and ECDH

Middleware to compile Circom circuits to Nova prover

Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus.

Write up of the StarknetCC-Lisbon-CTF

Completely unstyled, fully accessible UI components, designed to integrate beautifully with Tailwind CSS.

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