GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
microsoft
/
verona
Public
Research programming language for concurrent ownership
MIT License
Updated Feb 8, 2026
Created Sep 14, 2019
View on GitHub
3,708
stars
169
forks
103
watchers
14
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
RE
rengolin
318 commits
MJ
mjp41
232 commits
SY
sylvanc
128 commits
PL
plietar
114 commits
TH
Theodus
49 commits
DA
davidchisnall
42 commits
MA
marioskogias
9 commits
LU
lukecheeseman
9 commits
JA
jacob-hughes
7 commits
AL
almiliMSFT
5 commits
Recent Stargazers
PL
plietar
over 6 years ago
MJ
mjp41
over 6 years ago
SY
sylvanc
over 6 years ago
SN
snf
about 6 years ago
MH
mhyee
about 6 years ago
AG
aghosn
about 6 years ago
KJ
kjcolley7
about 6 years ago
AC
achamayou
about 6 years ago
SP
spacejam
about 6 years ago
EP
EpicEric
about 6 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
4,145
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 14
Closed Issues 86
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 9, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.