GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
vehicle-lang
/
vehicle
Public
A toolkit for enforcing logical specifications on neural networks
Other
Updated Jan 31, 2026
Created Feb 22, 2021
View on GitHub
121
stars
15
forks
6
watchers
112
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
MA
MatthewDaggitt
881 commits
WE
wenkokke
343 commits
DE
dependabot[bot]
89 commits
PR
pre-commit-ci[bot]
36 commits
ND
ndslusarz
17 commits
DE
developing-ar
15 commits
LA
laurenpudz
13 commits
BO
bobatkey
12 commits
TG
Tgl70
5 commits
GG
ggustavs
2 commits
Recent Stargazers
DA
dannypsnl
almost 5 years ago
OM
omelkonian
over 4 years ago
CY
cyberglot
over 4 years ago
TR
TristanCacqueray
over 4 years ago
KL
Kleidukos
over 4 years ago
MB
mb64
over 4 years ago
SD
sdemarch
about 4 years ago
KA
kayovoldk
about 4 years ago
PH
philzook58
about 4 years ago
AV
Avi-D-coder
about 4 years ago
Repository Complexity
Approximate file count and repository size.
Files
844
Size (KB)
30,478
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 19
Closed Issues 81
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 4, 2026 • 7 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.