GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
GasStationManager
/
ArtificialAlgorithms
Public
Verified algorithms in Lean, implemented and proved by AIs
Apache License 2.0
Updated Feb 3, 2026
Created Jul 15, 2025
View on GitHub
10
stars
0
forks
0
watchers
1
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
GA
GasStationManager
61 commits
Recent Stargazers
24
24601
7 months ago
HU
huynhtrankhanh
7 months ago
TM
tmfs10
6 months ago
EV
evelynmitchell
6 months ago
MF
mfornet
6 months ago
SH
Shashi456
5 months ago
M-
m-ow
5 months ago
AN
antonkov
24 days ago
KE
KeAWang
24 days ago
ZX
zxjrsch
19 days ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
935
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 1
Closed Issues 3
Open Issues
4
Activity Peak
Most recent day with highest activity
Feb 3, 2026 • 5 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.