Lists (2)
Starred repositories
Hazel, a live functional programming environment with typed holes
A terminal workspace with batteries included
Sandbox your local AI agents so they can read/write only what they need
Fast, Scalable, Flexible Static Site Generator (SSG)
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
The agent that grows with you
Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.
Fully Managed, Streaming Ingestion (CDC) into your Lakehouse
PostgreSQL connection pooler, load balancer and database sharder.
Backend-agnostic async message queue for MoonBit with reliability, observability, incident detection, and pluggable backends.
A set of tools for the Kotlin language, with a focus on user experience and tooling
One structural construct — the locus — holding its shape from a value to a fleet. Wherever the structure closes, the compiler certifies it.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Simple Clojure tooling for AI coding assistants
A new kind of language for a new kind of computer
Turn Clojure data structures into SQL
Clojure interpreter hosted on Go, with extensible interop support.
SQL-first, type-safe PostgreSQL client code generator
Open source, cloud native, Postgres platform with copy-on-write branching and scale-to-zero