Lists (26)
agent
62 repositories
cdc
5 repositories
Clima
8 repositories
code-analysis
3 repositories
cs
2 repositories
elixir
2 repositories
embedded
12 repositories
ESP
68 repositories
hardware
77 repositories
Haskell
2 repositories
lean
9 repositories
Legal
11 repositories
lsp
2 repositories
mcp
26 repositories
membrane
80 repositories
ML
62 repositories
Python
12 repositories
RAG
11 repositories
research
2 repositories
rust
148 repositories
rustbelt
8 repositories
Scala
13 repositories
Solana
2 repositories
text-to-speech / speech-to-text
1 repository
typescript
3 repositories
ui
3 repositories
Starred repositories
KaTeX + coloring + interactivity to make equations explained well (prototype)
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
💫 Toolkit to help you get started with Spec-Driven Development
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
This is the repo for the LegalBench-RAG Paper: https://arxiv.org/abs/2408.10343.
Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured
A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.
Open source Claude Code web/Codex Cloud/Devin alternative
Bake a cake with care, follow steps the recipe gives, that’s an algorithm.
Claude Code superpowers: core skills library
A fast partial replacement for the codemod tool. Assists with large-scale codebase refactors via regex-based find and replace with human oversight and occasional intervention.
Dochia automatically generates and executes negative and boundary testing so you can focus on creative problem-solving. Because nobody wants to debug why their "enterprise-grade" API can't handle a…
A manager for AI coding agents that works with Claude Code, Cursor, Gemini, Codex, and Qwen.
Run multiple Codex and Claude Code AI sessions in parallel git worktrees. Test, compare approaches & manage AI-assisted development workflows in one desktop app.
The best way to get AI coding agents to solve hard problems in complex codebases.
cargo-bins / reflink-copy
Forked from nicokoch/reflinkCross-platform COW reflink copy of files; Fork for Binstall
Use Claude Code from any ACP client such as Zed!
A next-generation HTTP stealth proxy which perfectly cloaks requests as the Chrome browser across all layers of the stack.
A protocol for connecting any editor to any agent
A rust implementation of Bubbletea https://github.com/charmbracelet/bubbletea
A menagerie of cute implementations of modern typechecking algorithms
Open-source AI agents for penetration testing
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed