GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
rems-project
/
archsem
Public
Rocq framework to define the semantics of CPU architectures
Other
Updated Jan 29, 2026
Created Dec 13, 2024
View on GitHub
18
stars
2
forks
14
watchers
23
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
TP
tperami
313 commits
FE
febyeji
19 commits
PE
PeterSewell
17 commits
NI
Nils-Lauermann
16 commits
LZ
lzy0505
5 commits
BA
bacam
3 commits
OP
opqrs
3 commits
MJ
Mjiig
1 commits
CH
Chris-F5
1 commits
JE
JeanPichon
1 commits
Recent Stargazers
JE
jevinskie
about 1 year ago
EI
eigenform
about 1 year ago
TH
thamugadi
about 1 year ago
JM
jmanuel1
about 1 year ago
WO
WolframRhodium
about 1 year ago
LA
lachinygair
11 months ago
NI
Nils-Lauermann
10 months ago
ME
MekahimeAkari
9 months ago
SE
seanwallawalla
7 months ago
SE
seanpm2001
7 months ago
Repository Complexity
Approximate file count and repository size.
Files
99
Size (KB)
1,329
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 23
Closed Issues 49
Open Issues
72
Activity Peak
Most recent day with highest activity
Feb 7, 2026 • 3 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.