Stars
🧟 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 toolkit 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 curated list of awesome skills, hooks, slash-commands, agent orchestrators, applications, and plugins for Claude Code by Anthropic
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.
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
An agentic skills framework & software development methodology that works.
A list of papers about distributed consensus.
🛜 ESPectre 👻 - Motion detection system based on Wi-Fi spectre analysis (CSI), with Home Assistant integration.
Stream your Postgres data anywhere in real-time. Simple Rust building blocks for change data capture (CDC) pipelines.
Queueing theory: an introduction for software development