Generate clean 2D game sprites & animation atlases — component-row pipeline: state rows, alpha cleanup, frame extraction, runtime atlases. Codex/Claude skill.

An open-source, agentic-first CRM.

A 2-deck mixer, sample pads, sequencer— all from any Unix terminal.

Fast, collaborative live terminal sharing over the web

Lean certificates accompanying proofs in mathematics and theoretical computer science

A browser that runs directly inside your existing terminal

Open-source, developer-first PaaS: git push → live HTTPS URL on hardware you own, including a Raspberry Pi behind CGNAT, via a zero-trust cloud relay.

A falling sand physics simulation plugin for Bevy

Ultra-minimalist macOS recording + transcription.

Decentralized Secrets Management Engine powered by threshold cryptography and proxy re-encryption

Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB

Fault-tolerant async actors for Rust that scale seamlessly

ECS-driven 2D and 3D physics engine for the Bevy game engine.

Web application generating interactive and highly customizable maps

Open Frontier Intelligence

OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm: https://www.npmjs.com/package/@openai/codex-security

An opinionated personal dashboard for your terminal — world clocks, calendar and agenda, weather, tasks, notes, markets and live system metrics in a tab you leave open all day. Rust + ratatui.

rust wrapper for rocksdb

A Solidity implementation of Halo2's Pasta curves

Building blocks for frontier OpenAI agents in Rust. Nanocodex empowers you with Codex-level performance anywhere.

ClamAV - Documentation is here: https://docs.clamav.net

Easy-to-use, VSCode inspired terminal code editor with mouse support!

A Bevy plugin for rendering terminal UIs using ratatui and wgpu.

Cucumber testing framework for Rust. Fully native, no external test runners or dependencies.

Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.

Formal Solidity semantics in Lean 4 — the engine behind the Lean Semantics divergence challenge.

the runtime your coding agents live on