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,991
repos tracked
115
surfaced this week
232
created < 30d
Python
top language
7 repos
-
Agentic AI security scanner that hunts exploitable vulnerabilities like an adversary, proves them with executable PoCs, and fixes them test-first. A maintained fork of Capital One's VulnHunter, rebuilt for any agent harness.
-
Automatic formal verification for warp-specialized GPU kernels.
-
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.
-
Shared correctness gates and validated benchmarks for Campfire implementations
-
Fast, resumable folder copies to and from Google Drive, with a rich terminal dashboard and checksum verification.
-
The P programming language.
-
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)