the runtime your coding agents live on

Specula: An agentic tool for finding deep bugs in system code using TLA+

Antithesis SDK for Rust

Property-based testing for web and terminal UIs

A hive mind communication platform

Property-based testing for Rust, built on Hypothesis

Postgres rewritten in Rust, now faster than Postgres and Clickhouse

A lightweight command-line tool that spins up a local web server to display Git commit diffs in a GitHub-like Files changed view

Source Code for 'Practical TLA+' by Hillel Wayne

🧟 Inject bugs and see if your tests catch them!

Add hardship to your tests

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Magical Deterministic Simulator for distributed systems in Rust.

LLM inference in C/C++

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

A Compiler Writing Journey

Fuzzy-search Claude Code conversation history

Dafny is a verification-aware programming language

The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

The agent engineering platform.

Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

A sample pack of GitHub Agentic Workflows!

The 500 AI Agents Projects is a curated collection of AI agent use cases across various industries. It showcases practical applications and provides links to open-source projects for implementation…

A hand-picked collection of the finest of resources for the most awesome of agents, Claude Code, the undisputed champion of coding companions, from the unstoppable team at Anthropic PBC. A delectab…

Comprehensive Claude Code project configuration example with hooks, skills, agents, commands, and GitHub Actions workflows