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.
2,230
repos tracked
170
surfaced this week
191
created < 30d
Python
top language
2,230 repos
-
Proxy Policy Steering: inference-time adaptation for robotics foundation models
-
Batched single-token choice inference for open language models, compatible with TypeSafe
-
tiny Jev-like model built on top of Qwen2.5-0.5B you can train and run on your MacBook
-
Evidence-backed, model-agnostic runtime contracts for physical agents
-
🚀 The fast, Pythonic way to build MCP servers and clients.
-
fast.ai APL study group notes
-
★ 0 davidbau/NetHackOfficial NetHack Git Repository
-
Raw results of solver benchmark campaigns run with bodono/solver_benchmarks
-
Jev-compatible API endpoint based on open models (prefill-only)
-
JAX/Equinox implementation of ProteinMPNN and LigandMPNN for protein sequence design
-
declarative self-improving language-model programs for Elixir 😇
-
ACM Big Cows 🐮
-
A small modern APL calculator in Rust, with a native CLI and Python API.
-
Tree Decision Diagrams for Boolean functions, model counting, and probabilistic inference in Rust
-
An open-source execution engine for AI-SQL and LLM-powered dataflow
-
Materials for DATS0001 Foundations of Data Science, ULiège
-
A Python library for running thousands of MuJoCo simulations in parallel on CPU
-
Beautiful, Modern & Opinionated Linux
-
Everything a Jupyter kernel needs except the language
-
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.
-
CNF preprocessing and vtree construction for circuit compilation and model counting
-
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflows - all through natural language commands.
-
A spy satellite simulator in your browser, except the data is real. Live open source spatial intelligence on a photorealistic 3D globe.
-
Home robot ++
-
Environments by the Prime Intellect Research Team
-
Encrypted telemetry feed
-
The open source coding agent.
-
Concurrent-safe Jupyter KernelClient
-
Splitting Conic Solver
-
High-Performance Symbolic Regression in Python and Julia
-
Solver benchmarking tools
-
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
-
Reproducible bug reports for upstream NetHack 5.0, with session recordings, repro scripts, and proposed patches.
-
A high-throughput and memory-efficient inference and serving engine for LLMs
-
🙌 OpenHands: AI-Driven Development
-
Python helpers to limit the number of threads used in native libraries that handle their own internal threadpool (BLAS and OpenMP implementations)
-
See what sticks
-
Public registry for OpenHands extensions.
-
Data and software for building the ACL Anthology.
-
Open Machine Learning Compiler Framework
-
OpenHands automation service
-
A clean, modular SDK for building AI agents with OpenHands V1.
-
Agentic RL Training at Scale