GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
Kripner
/
nanoproof
Public
Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
MIT License
Updated Feb 3, 2026
Created Nov 17, 2025
View on GitHub
62
stars
6
forks
2
watchers
1
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
KR
Kripner
164 commits
Recent Stargazers
KR
Kripner
about 2 months ago
EL
eliasjudin
about 2 months ago
SH
Shashi456
about 2 months ago
TL
tlkahn
about 2 months ago
ST
strakam
about 2 months ago
AB
abodacs
about 2 months ago
ME
meleantonio
about 2 months ago
YO
Yokto13
about 2 months ago
WE
Wenda302
about 2 months ago
PU
pulkitgopalani
about 2 months ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
1,690
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 1
Closed Issues 0
Open Issues
1
Activity Peak
Most recent day with highest activity
Feb 3, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.