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
10 repos
-
Small reproducible problems for Sutro Group's energy-efficient learning research
-
Textbook on reinforcement learning from human feedback
-
Simplified single-processor Manhattan-grid model for explicit communication cost (Dally, CACM 2022)
-
A markdown native slides tool for academics building with agents.
-
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
-
End-to-end project training and building AI models / LLMs to detect AI-written text
-
music21: a Toolkit for Computer-Aided Musical Analysis and Computational Musicology
-
Real Goroutines for Python 3.13t+ free-threaded.
-
Codex, Claude Code, Pi & OpenCode Neovim Plugin 🔌
-
★ 0 albertqjiang/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem