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
9 repos
-
๐ป Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
-
Run a web page like a program
-
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
-
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
-
Technitium DNS Server
-
โ 0 reinerp/rust-errno:boom: Cross-platform interface to the `errno` variable
-
โ 0 reinerp/getrandomA small cross-platform library for retrieving random data from (operating) system source
-
๐ป Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
-
High-Performance Cross-Platform Monte Carlo Renderer Based on LuisaCompute