Highlights
- Pro
Lists (2)
Stars
Implement one small API on SQLite in any language; we benchmark it on a $12 server (1 vCPU, 2 GB)
TypeDB 3 client for Lean 4: compile-time checked transactions, typed TypeQL, fast batched decoding, a lightweight ORM and migrations, over the official C driver.
A project surveying properties of collaborative text-editing algorithms.
Lexical iOS is an extensible text editor framework that integrates the APIs and philosophies from Lexical Web with a Swift API built on top of TextKit.
A Lean-native WebSocket library (RFC 6455) over Std.Http.Transport
λProlog inside Lean 4: write tactics, commands and proof search as logic programs, share types with Lean both ways, get kernel-checked proofs
🐹 Open-source Mac and PC cleaner. Keep your machine clean, light, and running like new. Fast CLI, plus native Mac and Windows apps.
Design-focused Terminal app for macs, with Chat Mode and native tmux/herdr tabs
A type-safe, deeply-embedded SQL query DSL for Lean 4
droast - a dockerfile linter that actually has opinions 🔥
Pure TypeScript media toolkit for reading, writing, and converting video and audio files, directly in the browser.
Self-hosted Evolu CRDT relay with structured logging, metrics, and quota management
Finito is a local-first payment terminal that combines classic bank transfers for the Czech and Slovak markets, cash payments, and Bitcoin Lightning payments.
Bitcoin wallet and messaging app in one. Build your bitcoin network!
Lean 4 programming language and theorem prover
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Lightweight coding agent that runs in your terminal
JS Build Tools: helpers for building, benchmarking & testing secure JS apps.
Vite plugin that reimplements the Next.js API surface — deploy anywhere