GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
leanprover
/
leansqlite
Public
SQLite bindings for Lean
Apache License 2.0
Updated Jan 31, 2026
Created Jan 9, 2026
View on GitHub
28
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
DA
david-christiansen
36 commits
Recent Stargazers
NO
NorfairKing
13 days ago
ST
stevefan1999-personal
6 days ago
C2
c2fc2f
6 days ago
EN
eneoli
5 days ago
BR
BRonen
5 days ago
JO
JoshuaPurtell
5 days ago
ZU
zussini
5 days ago
SN
SnO2WMaN
5 days ago
SU
sunny-g
5 days ago
IN
intsuc
5 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
2,667
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 13
Open Issues
13
Activity Peak
Most recent day with highest activity
Jan 31, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.