Starred repositories
Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork
Sample Task Management System - Formally Verified with TLA+
Implementation of the Cedar Policy Language
Emulate Arduino, ESP32 & Raspberry Pi. in your browser. Write code, compile, and run on 19 real boards — Arduino Uno, ESP32, ESP32-C3, Raspberry Pi Pico, Raspberry Pi 3, and more. No hardware, no c…
Adaptive Test-time Learning and Autonomous Specialization
Open-source, self-hosted workspace with installable tools. Mail, boards, docs, chat, todos, files, calendar, and video rooms. Deploy with ONCE, Kamal, or Docker.
Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents
📮 A fully featured open source mail delivery platform for incoming & outgoing e-mail
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Light, fluffy, and always free - AWS Local Emulator
A fast usermode x86 and x86-64 emulator for Arm64 Linux
Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices
Implementation of 17+ agentic architectures designed for practical use across different stages of AI system development.
A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Dafny is a verification-aware programming language
Peace of mind from prototype to production
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
HTTP API for Claude Code, Goose, Aider, Gemini, Amp, and Codex
Spec-driven development (SDD) for AI coding assistants.
Live reload for Go apps. Watch arbitrary files and respond with arbitrary commands. Supports running multiple commands in parallel.
A Python CLI tool that converts Claude Code transcript JSONL files into readable HTML format.
Use Garry Tan's exact Claude Code setup: 15 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA