Stars
Property-based testing for web and terminal UIs
Property-based testing for Rust, built on Hypothesis
Postgres rewritten in Rust, now passing 100% of the Postgres regression tests
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!
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Magical Deterministic Simulator for distributed systems in Rust.
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
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
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
66 Specialized Skills for Full-Stack Developers. Transform Claude Code into your expert pair programmer.