GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
monadius
/
vscode-hol-light
Public
An extension for VS Code which provides support for HOL Light
MIT License
Updated Jan 28, 2026
Created Jul 7, 2018
View on GitHub
8
stars
1
forks
3
watchers
2
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
MO
monadius
456 commits
AQ
aqjune
7 commits
Recent Stargazers
AQ
aqjune
almost 2 years ago
JI
jimgrundy
over 1 year ago
MA
maggesi
over 1 year ago
PE
pennyannn
about 1 year ago
JE
JeffCarpenter
about 1 year ago
KA
KacperFKorban
12 months ago
SG
sgmenda
25 days ago
VI
VietAnh1010
9 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
928
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 2
Closed Issues 24
Open Issues
26
Activity Peak
Most recent day with highest activity
Jan 28, 2026 • 2 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.