teorth / sendov
git clone https://github.com/teorth/sendov.git
—
+0
stars, 24h · #31,273
+0
stars, 7 days · #52,612
+~0
stars, 30 days · #60,475
41
★ total
11
forks · 6 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-08-12 (2mo ago)
Last push2mo ago
OwnerUser
Links
- GitHub: github.com/teorth/sendov
- Releases · Issues · Hacker News mentions
README
Loading README…