Daydreams is a generative agent framework for playing anything onchain

Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.

Lightweight streaming web app for freshwater sailors 🏴‍☠️

A performant and modular zkVM framework built for customization and extensibility.

Template for developing applications with Boundless and RISC Zero via Foundry

Madara is a powerful hybrid Starknet client written in Rust.

Transports, Middleware, and Networks for the OP Stack built on Alloy

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

Anthropic's educational courses

A pocket-sized musical instrument

Building a modern alternative to Salesforce, powered by the community.

ethrex: Ethereum Execution and L2 client in Rust

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

No seeds, just sticks. A self custodial embedded account to play onchain games seamlessly

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

Linux kernel source tree

muvm - run programs from your system in a microVM

🐸 a database management tui for postgres

LakeSail's computation framework with a mission to unify stream processing, batch processing, and compute-intensive (AI) workloads.

This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.

Rust Bitcoin library

A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks. This tool combines the capa…

Ingest, parse, and optimize any data format ➡️ from documents to multimedia ➡️ for enhanced compatibility with GenAI frameworks

Video stabilization using gyroscope data

Python toolkit for quantitative finance

Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺