GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
melvyn2
/
Beluga
Public
Contextual types meet mechanized metatheory!
GNU General Public License v3.0
Updated Jan 19, 2026
Created Jan 19, 2026
View on GitHub
0
stars
0
forks
0
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
MA
MartyO256
946 commits
TS
tsani
839 commits
PI
pientka
718 commits
AJ
ajcave
521 commits
MB
mboes
465 commits
AI
Ailrun
239 commits
SA
sacooper
205 commits
JD
jdunfield
147 commits
SJ
sjjs7
98 commits
FF
fferreira
80 commits
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
15,310
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Jan 19, 2026 • 4 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.
No stars/forks history data available