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,235
repos tracked
175
surfaced this week
194
created < 30d
Python
top language
1,999 repos
-
A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.
-
Simple Markdown presentations with a visual slide editor
-
SGLang is a high-performance serving framework for large language models and multimodal models.
-
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
-
Generic floating-point types in Python
-
Generic floating-point types in Python
-
Evidence-backed, model-agnostic runtime contracts for physical agents
-
🚀 The fast, Pythonic way to build MCP servers and clients.
-
Raw results of solver benchmark campaigns run with bodono/solver_benchmarks
-
Jev-compatible API endpoint based on open models (prefill-only)
-
Various small projects, one-off experiments, and such things
-
Private lookbook (encrypted pages)
-
ACL Rolling Review website
-
A Python library for running thousands of MuJoCo simulations in parallel on CPU
-
Hexapod walker: STS3215 prototype, RL training orchestrator (CoreWeave), MuJoCo sim, robot control
-
Film groups: the crystallography of looping animations — catalog, tutorial, and clockwork-orbifold notation for 2+1D space-time groups
-
Encrypted telemetry feed
-
Pyskills for Answer.AI coding sessions: skill text and companion tooling for clikernel
-
The open source coding agent.
-
Scored tooling katas, habit rules, and pre-baked warm-start sessions for LLM coding agents
-
An IPython magic for Dyalog APL
-
Devon's personal site
-
Python supercharged for the fastai library
-
Solver benchmarking tools
-
Python API for ripgrep-style walking and search
-
A high-throughput and memory-efficient inference and serving engine for LLMs
-
A lightweight execution guard for running LLM-generated Python in a normal Python process
-
Helper functions for solveit dialogs
-
LLM inference in C/C++
-
You like pytorch? You like micrograd? You love tinygrad! ❤️
-
Open-source framework for the research and development of foundation models.
-
Custom AI agent platform to speed up your work.
-
★ 0 davidbau/NetHackOfficial NetHack Git Repository
-
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
-
Beautiful, Modern & Opinionated Linux
-
Everything a Jupyter kernel needs except the language