Fast filesystem snapshot and rollback tool for benchmarking

Hybrid typenum/const generic arrays

[ICLR 26] 1K resolution vision transformers pretrained on 1B human images.

Instant, Concurrent, Secure & Lightweight Sandbox for AI Agents.

Rust port of the ORCΛ esoteric programming language and terminal livecoding environment

A HTTP credential proxy and vault for AI agents

Message passing based allocator

Rust RPC framework with high-performance and strong-extensibility for building micro-services.

Easily install prebuilt binaries from GitHub.

The fastest font renderer in the world, written in pure rust.

Auditable WASM implementation of cryptographic hashes & ciphers

Open-source orchestration for zero-human companies

skill + slash command 方式进行写小说探索

Real-time network diagnostics in your terminal. One command, zero config, instant visibility.

A Live2D Cubism model renderer for terminal, support face tracking

A keyboard-driven music app for people who live in the terminal.

a minimal multisig with EIP-712 signing

An implementation of the ConnectRPC protocol for Rust

A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.

aztec connect repository

A fast Node.js package manager

an interactive programming language

Turn Claude Code into a full game dev studio — 49 AI agents, 72 workflow skills, and a complete coordination system mirroring real studio hierarchy.

Examples using Hono.

Logical relations proof in Agda

Web-based MuJoCo viewer powered by Viser

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

A minimal keyboard-driven TUI to manage WireGuard VPN connections