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,837
repos tracked
177
surfaced this week
268
created < 30d
Python
top language
2,837 repos
-
Cut a video to the right trim
-
Official implementation of "Correction Training for Diffusion Models"
-
Speedrun for pretraining without backpropagation
-
Interactive interface for browsing global, full-resolution satellite imagery
-
Public repository for MirrorCode
-
An interactive ethology of the AI Village: 44 AI agents, 18 months, 173,493 messages scored for mood, dominance and social moves.
-
Fast maths functions for f16, f32 and f64 in plain Rust.
-
🦀 Jumper — an crab robot.
-
Reverse engineer anything with agents, from app behavior down to native binaries.
-
llama.cpp's official website
-
Rails as a specification; the deployment target is a build flag
-
Note taking & PDF library
-
Prototyping on AI Foundry's ET-SoC-1 (1088-core RISC-V): sys_emu setup, hello world, tensor-unit matmul FLOPs/W vs A100
-
Tree Decision Diagrams for Boolean functions, model counting, and probabilistic inference in Rust
-
Private lookbook (encrypted pages)
-
Beautiful, Modern & Opinionated Linux
-
Website to track preferences.
-
Encrypted telemetry feed
-
As-of macro forecast tournaments for testing LLM belief engines before HANK embedding.
-
A high-throughput and memory-efficient inference and serving engine for LLMs
-
scikit-learn: machine learning in Python
-
LLM inference in C/C++
-
Anserini is a Lucene toolkit for reproducible information retrieval research
-
ryOS, made with Cursor
-
Pyserini is a Python toolkit for reproducible information retrieval research with sparse and dense representations.
-
Custom AI agent platform to speed up your work.
-
An open protocol and client for what your coding agents are doing: hooks for every harness, four privacy tiers, any sink.
-
Simple Markdown presentations with a visual slide editor
-
Examples and tests for Gemini API Managed Agents with Antigravity harness and sandboxes
-
Talks from the Gaussian Process Summer School
-
Browser games at anoma.ly/arcade: blackout, getaway, salvo
-
Sign PDFs and fill them in with text and dates
-
☤ The official plugins for Hermes Agent, built and maintained by Nous Research: Home Assistant, Spotify, Claude Subscription DirectSDK and more, one install away from the Hermes plugin catalog.
-
This repo is for upstream PR's to Hermes MAIN only and should be kept in sync with main.
-
⚡ Fastest way to serve open source ML models to millions
-
Exact, restarted: rules and scope before code.
-
Ridiculously fast symbolic expressions
-
BasedPL is an APL-derived array language, borrowing ideas from J and BQN, with an emphasis on simple, consistent notation.
-
Simple Markdown presentations with a visual slide editor
-
An open-source execution engine for AI-SQL and LLM-powered dataflow