GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
VNNLIB
/
VNNLIB-Standard
Public
The VNNLIB specification document and grammar.
MIT License
Updated Jan 14, 2026
Created Mar 7, 2025
View on GitHub
4
stars
0
forks
3
watchers
10
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
AL
Allenator1
213 commits
DE
developing-ar
95 commits
MA
MatthewDaggitt
41 commits
Recent Stargazers
MA
MatthewDaggitt
5 months ago
AL
Allenator1
5 months ago
CH
chelseas
5 months ago
HO
hocdot
3 months ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
1,307
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 9
Closed Issues 91
Open Issues
100
Activity Peak
Most recent day with highest activity
Jan 16, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.