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
41 repos
-
kernelboard is the webapp for https://www.gpumode.com
-
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
-
Source of http://glouppe.github.io
-
Lean 4 formalizations for the Policy Gradients blog series (https://fa.bianp.net/blog/2026/policy-gradient/)
-
A pelican theme that attempts to use the [Tufte CSS](http://www.daveliepmann.com/tufte-css/) provide by Dave Liepmann. I hope I do him justice.
-
Academic website at http://davidbau.com/research/
-
Static, in-browser build of the Jambu etymological dictionary of South Asia (SvelteKit + sql.js-httpvfs, hosted on GitHub Pages).
-
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
-
Sync and async HTTP transports over httpx2, plus base classes for small REST clients
-
Technitium DNS Server
-
A intentionally dumb message board that uses HTTP GET requests. Meant for alignment research that requires elicitation of message-board-using agents.
-
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed
-
Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
-
Nonlinear optimisation (root-finding, least squares, ...) in JAX+Equinox. https://docs.kidger.site/optimistix/
-
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
-
Linear solvers in JAX and Equinox. https://docs.kidger.site/lineax
-
Elixir implementation of the Agent-to-Agent (A2A) protocol (https://a2a-protocol.org).
-
🐫 CAMEL: The first and the best multi-agent framework. Finding the Scaling Law of Agents. https://www.camel-ai.org
-
iOS & tvOS multi-emulator frontend, supporting various Atari, Bandai, NEC, Nintendo, Sega, SNK and Sony console systems… Get Started: https://wiki.provenance-emu.com |
-
Pure-Elixir git: clone, fetch, push over smart HTTP v2 with lazy partial-clone and a path-oriented FS API for agents
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
Set up your GitHub Actions workflow with a specific version of https://docs.astral.sh/uv/
-
DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.
-
Ghostty website. For the source to the Ghostty project, please see https://github.com/ghostty-org/ghostty
-
Utils for Unsloth https://github.com/unslothai/unsloth
-
https://interactivetraining.ai/
-
A QR code generator in a TrueType font: https://qr.jim.sh/
-
Fastest and only macOS Dictation app with on-device STT and custom trained AI enhancement model. Windows, iOS testflight! Android, Linux waitlist open! A local Wispr Flow alternative. Follow https://x.com/fluidvoiceapp for more
-
Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
-
[MLsys2026 Best Paper]: https://arxiv.org/abs/2506.08276. RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal device.
-
https://arxiv.org/abs/2606.28344. The end of web parsing. The beginning of scalable pixel-native search. link: https://pixelrag.ai/
-
Various useful docker images. Hosted on https://hub.docker.com/repositories/borglab
-
Official inference code for World Tracing (NeurIPS 2026 Spotlight). Project page: https://haoz19.github.io/world-tracing-page/
-
HTTP SQLite scale-to-zero database on the edge built on Cloudflare Durable Objects.
-
A metafictional Snake game that wakes up to being a game - and keeps changing genre. Play: https://snake-awakening.netlify.app
-
Submission pipeline and results store for the lean-eval benchmark (https://github.com/leanprover/lean-eval)