GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
aliebayani
/
FormalMethods-Alloy
Public
Formal Methods Project and Exercises with Alloy (2022 Course)
MIT License
Updated Feb 5, 2026
Created Feb 6, 2024
View on GitHub
7
stars
0
forks
1
watchers
0
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
AL
aliebayani
8 commits
Recent Stargazers
AL
aliebayani
almost 2 years ago
IM
Iman1962
almost 2 years ago
FP
fpgholizadeh
almost 2 years ago
VI
vishallama
almost 2 years ago
YA
YasinRezvani
4 months ago
TC
tcardlab
about 2 months ago
LA
lambdaft
29 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
12,861
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 0
Closed Issues 0
Open Issues
0
Activity Peak
Most recent day with highest activity
Jan 7, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.