Stars
A proof assistant for programmers — Scala 3, Predicative CIC, Scala Native
Jitsu is an open-source Segment alternative. Fully-scriptable data ingestion engine for modern data teams. Set-up a real-time data pipeline in minutes, not days
In Browser PostgreSQL Playground, no server, just client and pglite (postgresql wasm)
Your personal AI assistant at all-in 888KiB (~25KB in app code). Running on an ESP32. GPIO, cron, custom tools, memory, and more.
The open source server code for the BitCraft MMORPG
🎃 A fast, out-of-the-box terminal built for AI coding.
Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig
A web-based Kanban board for viewing Claude Code tasks
Create your own programming language with Rust
IronClaw is OpenClaw inspired implementation in Rust focused on privacy and security
Fast, small, and fully autonomous AI assistant infrastructure — deploy anywhere, swap anything 🦀
Detect unused `#[allow(...)]` attributes in your Rust code
Curated list of Go design patterns, recipes and idioms
A 5-20x faster experimental Homebrew alternative
A lightweight command-line tool that spins up a local web server to display Git commit diffs in a GitHub-like Files changed view
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Personal ngrok alternative. Expose local ports to the internet with automatic HTTPS via SSH tunnels + Caddy.
Expose local servers via tunnels. Supports WebSockets, SSE, and Cloudflare CDN caching.
the best interface for Claude Code
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
A categorical programming language with effects
Terminal API client for HTTP/GraphQL/gRPC with support for SSH tunnels, WebSockets, SSE, Workflows, Profiling, OpenAPI, Kubernetes port-forwarding and response diffs.
A unified interface for AI in your terminal.