Dev
GitHub repos gaining traction - what high-signal users are starring and what's climbing the board, captured daily and enriched from GitHub. Raw material for spotting new tech and patterns worth building on.
3,195
repos tracked
105
surfaced this week
193
created < 30d
Python
top language
27 repos
-
An interactive HTML pretty-printer for machine learning research in IPython notebooks.
-
Linux kernel source tree
-
Exact probabilistic inference by compilation into tree decision diagrams
-
Tree Decision Diagrams for Rust, Python and C: canonical circuits for Boolean functions, with model counting and weighted evaluation
-
CNF preprocessing and vtree construction for circuit compilation and model counting
-
Ridiculously fast symbolic expressions
-
Bring RocksDB to PostgreSQL as an extension. It is the first foreign data wrapper (FDW) that introduces LSM-tree into PostgreSQL. The underneath storage engine can be RocksDB. The FDW also serves for VidarDB engine, a versatile storage engine for various workloads. See the link for more info about VidarDB engine.
-
Greatest Of All Tree Decompositions: tree decompositions of graphs — elimination orders, FlowCutter, multilevel bisection — with PACE .gr/.td I/O and a command-line solver.
-
K-dimensional tree in Rust for fast geospatial indexing and lookup
-
A treemap for finding and removing what fills your disk, for Omarchy. Rust + GPUI.
-
Air Street Capital - investing in AI-first technology and life science companies
-
A cloud native embedded storage engine built on object storage.
-
A Git worktree workflow tool for AI coding agents. Enables parallel development with isolated environments.
-
The ripgrep of AI context: a zero-dependency C++23 CLI + MCP server for coding agents. Find what you want without reading the repo, then check you built what you meant — blast radius, tests-to-run, quality deltas. Signatures at 74.7% fewer bytes than bodies; every guess labelled, every loss published. Paddle out with a map.
-
Orca is the place for working with a fleet of agents (e.g. Grok Bot, Claude Code). Run any coding agent with your own subscription. Available on desktop, mobile and remote runtime.
-
The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs
-
Paradev (formerly Superset) is an agentic IDE to orchestrate 100+ coding agents in parallel. Run any agent with your own subscription.
-
a substrate for rhizomes and trees
-
Load and plot Allen connectivity data in MATLAB/Python
-
Ridiculously fast symbolic expressions
-
slippy map (openstreetmap) widget for egui
-
Local code intelligence for developers and AI agents. Connect code, docs and infrastructure in a persistent graph, with CBM Lens, MCP tools, agent integrations and change-aware test selection.
-
A breadth-first version of the UNIX find command
-
ZeroFS: A log-structured filesystem for S3. ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.
-
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
-
git worktrees + tmux windows for zero-friction parallel dev
-
Predictive Style Matching (PSM), is method in which an offline predictor maps the robot’s lower-body state history and velocity commands to interpretable upper-body joint and gait targets that shape the rewards during training.