Starred repositories
Chiasmus is an MCP server that gives language models access to formal verification
Fast, accurate & comprehensive text measurement & layout
A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣
NERV Operations Console aesthetic for web interfaces — Evangelion-inspired instrumentation UI skill for Claude Code / OpenClaw
Minimalist digital clock with multiple timezone support and JSON configuration. Clean and customizable interface.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
A relative time formatting library, with no code.
nolenroyalty / concave
Forked from get-convex/convex-backendimproved convex
Maintained - uBlock Origin filter list to hide YouTube Shorts
Entire CLI hooks into your Git workflow to capture AI agent sessions as you work. Sessions are indexed alongside commits, creating a searchable record of how code was written in your repo.
Make Claude happy. Give it Honcho.
Memory library for building stateful agents
The Tulip Creative Computer - a portable Python synthesizer for music and graphics
A LLM trained only on data from certain time periods to reduce modern bias
A curated catalogue of awesome agentic AI patterns
Continuous Unix commit history from 1970 until today
Information hub for our project training the largest possible historical LLMs.
Ephemeral filesystem isolation via Linux overlayfs (experimental)
A collection of best resources to learn System Design, Software architecture, and prepare for System Design Interviews
Minimal & malleable language for symbiotic end-user programming
Open Source Continuous Inference Benchmarking Qwen3.5, DeepSeek, GPTOSS - GB200 NVL72 vs MI355X vs B200 vs GB300 NVL72 vs H100 & soon™ TPUv6e/v7/Trainium2/3