0xOsiris

brain2qwerty. Non-invasive decoding of typed sentences from MEG and EEG brain recordings using a convolutional encoder, transformer, and character-level language model.

sshfs. A network filesystem client to connect to SSH servers

agent-skills. Production-grade engineering skills for AI coding agents.

constantinople. A high-throughput blockchain built on commonware primitives.

hud. Find code blocking your Tokio workers. eBPF-powered, no instrumentation.

rust-siphash. SipHash (2-4, 1-3 + 128 bit variant) implementations for Rust

artifact-fs. ArtifactFS is a filesystem driver designed to mount large git repos as quickly as possible, hydrating file contents on-the-fly instead of blocking on the initial clone. It's ideal for agents, sandboxes, containers and other use-cases where startup time is critical.

hermes-agent. The agent that grows with you

fish-shell. The user-friendly command line shell.

andrej-karpathy-skills. A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

VoxTerm. local first and private by default transcription tools with ✨ fun features ✨

TensorOperations.jl. Julia package for tensor contractions and related operations

MPSKit.jl. A Julia package dedicated to simulating quantum many-body systems using Matrix Product States (MPS)

crates.io. The Rust package registry

revmc. JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

centaur. Multiplayer, self-hosted, secure agents.

evm-smith. A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.

ArkLib. Formally Verified Arguments of Knowledge in Lean

cuda-oxide. cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.

EVMYulLean. Executable formal model of the EVM and Yul in Lean 4.

warp. Warp is an agentic development environment, born out of the terminal.

firecracker. Secure and fast microVMs for serverless computing.

ollama. Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

pi-better-openai. A pi extension for OpenAI subscription workflows: fast mode, usage visibility, footer polish, and image generation through openai-codex auth.

nixpkgs. Nix Packages collection & NixOS

symphony. Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

evm-asm. Lean

pi. AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

bsat. Rust

plank-monorepo. The home of the Plank Compiler and Sensei IR, its language agnostic EVM IR & backend.

human-in-the-loop. TypeScript

LsqFit.jl. Simple curve fitting in Julia

MathOptInterface.jl. A data structure for mathematical optimization problems

poly-commit. A Rust library for polynomial commitments

neptune. Rust Poseidon implementation (contact: @porcuquine)

helix. Rust

op-alt-da. Celestia Data Availability Provider for Optimism Alt-DA Protocol.

superpowers. An agentic skills framework & software development methodology that works.

mininero. A Python reimplementation of the one-time ring signatures as found in Monero

markit. 🖍️ Convert anything to markdown. Mark it.

rairplay. Rust implementation of Apple's AirPlay2 receiver

mpp-rs. Rust SDK for the Machine Payments Protocol

factcheck-agent. Python

ruint-uniffi. UniFFI bindings for unsigned integer types

nanochat. The best ChatGPT that $100 can buy.

ambassador. Delegation of trait implementations via procedural macros

obelyzk.rs. Obelyzk.rs — Verifiable AI engine written in Rust. Provable inference for every model.

co-snarks. Tooling for creating collaborative SNARKs for Circom and Noir circuits.

flume. A safe and fast multi-producer, multi-consumer channel.

agentkit. Bridging humans and agents online.

stereOS. A Linux based operating system hardened and purpose built for AI agents

cmux. Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.

nusb. A new pure-Rust library for cross-platform low-level access to USB devices.

flashblocks-mini-app. TypeScript

ratatui. A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

evmbench. A benchmark and harness for finding and exploiting smart contract bugs

vibehouse. ~vibehouse~ is a community-driven Ethereum consensus client. Same rock-solid Lighthouse core, but we ship faster, break things sometimes, and accept feature requests from literally anyone.

Remainder_CE. A GKR proof system optimized for ML tasks (Community Edition)

mosaik. A Rust runtime for building self-organizing, leaderless distributed systems.

helios. A fast, secure, and portable multichain light client for Ethereum

rs-mev-relay. A Rust MEV relay implementing the Proposer–Builder Separation (PBS) architecture.

kickstart.nvim. A launch point for your personal nvim configuration

oprf-service. Low- and high-level Rust crates for the TACEO:OPRF service.

ZLUDA. CUDA on non-NVIDIA GPUs

ironclaw. IronClaw is an Agent OS focused on privacy, security and extensibility

builder-specs. Specification for the external block builders.

world-id-protocol. Core protocol infrastructure and developer documentation for World ID.

trie. Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles

stateless. Stateless Ethereum block validation

vouch. A community trust management system based on explicit vouches to participate.

purl. Rust

hyperlane-monorepo. The home for Hyperlane core contracts, sdk packages, and other infrastructure

solana-world-id-onchain-template. Like https://github.com/worldcoin/world-id-onchain-template/ but for Solana

Ipopt.jl. A Julia interface to the Ipopt nonlinear solver

tracing-test. Access and evaluate tracing logs in async and sync tests.

torrent. Full-featured BitTorrent client package and utilities

mdbx. Modern fork of reth-libmdbx. Faster. Safer. Simpler.

pr.nvim. Nvim plugin for reviewing PRs with side by side diffs, inline comments, and persistent review state.

builder. 🏗️ The Signet Block Builder 🧱

crate-indexer. Rust

rust. Empowering everyone to build reliable and efficient software.

tower-json-rpc. json rpc layers and macros

facet. Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

gotatun. Userspace WireGuard® Implementation in Rust

arc-swap. Support atomic operations on Arc itself

ndarray. ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

fixed-cache. A minimalistic, lock-free, fixed-size cache for Rust.

stwo. StarkWare's next gen prover

ghostty. 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

compio. A thread-per-core async Rust runtime with IOCP/io_uring/polling.

tempo. the blockchain for payments

rust-rocksdb. rust wrapper for rocksdb

evm. Pure Rust implementation of Ethereum Virtual Machine

s3fcp. A fast downloader for S3

RustQuant. Rust library for quantitative finance.

barter-rs. Open-source Rust framework for building event-driven live-trading & backtesting systems

pvc-reaper. A Kubernetes controller that automatically deletes PersistentVolumeClaims (PVCs) pointing to nodes that no longer exist. Built in Rust!

starlark-rust. A Rust implementation of the Starlark language

sovereign-sdk. A flexible toolkit for building real-time blockchains

zizmor. Static analysis for GitHub Actions

monorepo. Commonware Library Primitives and Examples

mold. mold: A Modern Linker 🦠

pevm. The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!

nanoGPT. The simplest, fastest repository for training/finetuning medium-sized GPTs.

ARC-AGI-2.

pytorch. Tensors and Dynamic neural networks in Python with strong GPU acceleration

rproxy. L2 builder proxy

DeepSeek-OCR. Contexts Optical Compression

fafo. FAFO: Over 1 million TPS on a single node running EVM while still Merkleizing every block

nanoreth. Reth-based hyperliquid archive node

rblib. Modular SDK for building payload builders.

ton. Main TON monorepo

wrkflw. Validate and Run GitHub Actions locally.

guillotine. An ultra-high performance and flexible EVM. Written in zig

good_lp. Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

crubit. A bidirectional bindings generator for C++ and Rust.

cognitive-load. 🧠 Cognitive load is what matters

latticefold. A lattice-based non-interactive folding scheme written in Rust

doxx. Expose the contents of .docx files without leaving your terminal. Fast, safe, and smart — no Office required!

triedb. Rust

smlang-rs. A State Machine Language DSL procedual macro for Rust

fhevm. FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

bitchat. bluetooth mesh chat, IRC vibes

pueue. :stars: Manage your shell commands.

wormhole. Rust

zksync-airbender. RISC-V prover system for ZKsync OS

whir. WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

op-rbuilder. Rust

container. A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

kurtosis. A platform for packaging and launching blockchain infra. Think docker compose for blockchain

ream. ream: an Ethereum Lean client written in Rust

docker-otel-lgtm. An OpenTelemetry backend in a Docker container image

codex. Lightweight coding agent that runs in your terminal

coz. Coz: Causal Profiling

rmk. Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support

rindexer. A no-code or framework to build blazing fast EVM indexers - built in rust.

Clarabel.jl. Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.

infra. Optimism is Ethereum, scaled.

pyrometer. A tool for analyzing the security and parameters of a solidity smart contract

optimization-engine. Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

edge. client side proving

ress. The implementation of Stateless Ethereum client based on Reth

compiler-explorer. Run compilers interactively from your web browser and interact with the assembly

gnark-skyscraper. Skyscraper hash implementation in gnark

rustls-native-certs. Integration with OS certificate stores for rustls

icicle. A hardware acceleration library for compute intensive cryptography :ice_cube:

aladdin-contract. TypeScript

pbh-ctf. PBH CTF related code and docs

snark. Interfaces for Relations and SNARKs for these relations

foundry. Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

L2-interop. The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ethereum ecosystem fast, unified, and diverse. Developer→User→Product centric.

any-zkvm. A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use

kailua. The Ultimate ZK Proving Software Suite for Securing OP Rollups

ajj. JSON-RPC, simplified, using tower and axum

whirlwind. 🌀 Async-first sharded hashmap for Rust.

riscv-isa-manual. RISC-V Instruction Set Manual

hyper. An HTTP library for Rust

eth-stateless. Ethereum stateless tools

tabby. Self-hosted AI coding assistant

uniswap-hooks. Solidity library for secure and modular Uniswap hooks.

Mirai-Source-Code. Leaked Mirai Source Code for Research/IoC Development Purposes

television. A very fast, portable and hackable fuzzy finder.

skandha. A modular typescript implementation of ERC4337 (Account Abstraction) bundler client.

op-enclave. op-stack state(less) transition in an AWS Nitro enclave

fp-test-cases. Rust

spider. Get web data for AI agents and LLMs

gameboy. The Gameboy emulator that runs everywhere (Terminal, Web, Desktop)

scribble. Scribble instrumentation tool

ityfuzz. Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

modular-account. Solidity

BokkyPooBahsDateTimeLibrary. Gas-Efficient Solidity DateTime Library

turso. Turso is an in-process SQL database, compatible with SQLite.

loom. MEV Bot based on Alloy

dave-protocol. Whitepaper for Discord's Audio & Video End-to-End Encryption (DAVE) Protocol

account-abstraction. TypeScript

nomt. Super-fast Merklized Embedded Key-Value Store for blockchain nodes

xdelegate. Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience

zk-kit.noir. A monorepo of reusable Noir circuits.

miri. An interpreter for Rust's mid-level intermediate representation

provekit. Client side zero-knowledge proving.

lsd. The next gen ls command

rundler. An ERC-4337 Bundler in Rust

bolt. Bolt: permissionless proposer commitments on Ethereum

world-chain. World Chain monorepo

RRC-7755-poc. Proof of Concept for RRC-7755

lampe. Extracting the semantics of Noir to Lean for formal verification

awesome-low-latency. Patterns and resources of low latency programming.

ceno. Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

sirius. A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

contender. spam EVM execution nodes over JSON-RPC & run benchmarks

chaos. James Gleick's Chaos: The Software

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

ECC_Attacks. Known attacks on Elliptic Curve Cryptography

zk-attestor. Python

algebra. Libraries for finite field, elliptic curve, and polynomial arithmetic

pairing. Pairing-friendly elliptic curve library.

bls12_381. Implementation of the BLS12-381 pairing-friendly elliptic curve group

circom-pairing. TypeScript

world-id-relay. Service to bridge World ID roots from Ethereum to various Layer 2s

circom-ecdsa. Big integer arithmetic and secp256k1 ECC operations in circom