GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
haslab
/
Electrum
Public
A model checker for relational first-order temporal specifications
Updated Jan 28, 2026
Created Jun 3, 2016
View on GitHub
29
stars
4
forks
9
watchers
8
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
ED
EduardoPessoa
17 commits
GR
grayswandyr
5 commits
Recent Stargazers
GR
grayswandyr
about 8 years ago
AR
arunaugustine
about 8 years ago
NM
nmacedo
over 7 years ago
AL
alcinocunha
over 7 years ago
CO
corey
over 7 years ago
NS
nsensfel
over 7 years ago
AT
atdyer
over 7 years ago
C-
c-cube
over 7 years ago
CH
chaabaj
over 7 years ago
MA
maxvonhippel
about 7 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
148,997
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 8
Closed Issues 68
Open Issues
76
Activity Peak
Most recent day with highest activity
Jan 28, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.