xai-org/grok-build
msitarzewski/agency-agents
safishamsi/graphify
stablyai/orca
jamiepine/voicebox
// OWNER · AxiomMath · REPO SNAPSHOT
AxiomMath
AxiomMathSTARS58+0 · 7d
FORKS6+0 · 7d
CONTRIBUTORS0maintainer graph thin
OPEN ISSUES · PRS0· 0
LICENSE—no license file
LANGUAGELean
FOUNDED—
LOCATION—
MEMBERS—
PUBLIC REPOS—
TOTAL STARS—
FOCUS—
FUNDING—
//STAR HISTORY · 12M
+58 all-time-window
Stars · cumulative58 · today
//WHY IT'S TRENDING· narrative synthesis · medium confidence
AxiomMath/IMO2026 is sitting at #1234 on the trending leaderboard with a pulse of 11/100 — cross-source mentions are firing on 1 of 6 channels (Hacker News), while GitHub, X, and Bluesky stay quiet.
It sits at 58 stars without a fresh weekly delta on record — the trending placement here is steady-state interest in the Lean other space rather than a 7-day breakout.
Watch-outs: no tagged release on record (treat as pre-stable). Read this as an early signal — narrow channel breadth means the conversation hasn't reached the wider audience yet.
↻ refreshed 56m ago· next sync in 9m· sourced from 1 channel · 0 mentions / 24h
// RELATED REPOS · CROSS-SOURCE OVERLAP
#01
logical-intelligence/erdos-unit-distance
Lean ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
#02
Wei-Shaw/sub2api
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (14 total)
6
7
1#03
Alishahryar1/free-claude-code
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (26 total)
122
21#04
Egonex-AI/Understand-Anything
agent-memoryclaude-codeShared tag: agent-memory.
CO-MENTIONS · 30D (0 total)
0
#05
colbymchenry/codegraph
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (14 total)
293▌ FAQ · answers from the data spine
Who maintains IMO2026?
Maintained by AxiomMath (the owner) on GitHub.
What language is IMO2026 written in?
Primarily Lean.
When was IMO2026 created? When was the last update?
Created July 16, 2026 · last commit July 17, 2026.
How do I install IMO2026?
Clone the repo:
git clone https://github.com/AxiomMath/IMO2026.gitIs IMO2026 actively maintained?
stalled — no commits for an extended period
Created
Updated
Last commit
//COMMENTS · 0
Sign in to join the discussion