unicity-aos/aos-ce
tirth8205/code-review-graph
diegosouzapw/OmniRoute
stablyai/orca
koala73/worldmonitor
// OWNER · deancureton · REPO SNAPSHOT
deancureton
deancuretonSTARS32+0 · 7d
FORKS1+0 · 7d
CONTRIBUTORS0maintainer graph thin
OPEN ISSUES · PRS1· 0
LICENSE—no license file
LANGUAGELean
FOUNDED—
LOCATION—
MEMBERS—
PUBLIC REPOS—
TOTAL STARS—
FOCUS—
FUNDING—
//STAR HISTORY · 12M
+33 all-time-window
Stars · cumulative33 · today
//WHY IT'S TRENDING· narrative synthesis · medium confidence
deancureton/jacobian is sitting at #1364 on the trending leaderboard with a pulse of 11/100 with no cross-source channels firing yet — GitHub-stars-only signal so far.
It sits at 32 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).
↻ refreshed 1m ago· next sync in 4m· sourced from 0 channels · 0 mentions / 24h
// RELATED REPOS · CROSS-SOURCE OVERLAP
#01
AxiomMath/IMO2026
Lean ecosystem peer.
CO-MENTIONS · 30D (5 total)
4
1#02
lanyonai/MaxwellEquations
Lean ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
#03
logical-intelligence/erdos-unit-distance
Lean ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
#04
QuantumNous/new-api
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (24 total)
15
81#05
Itsmeinayath/visualdb
JavaScript ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
▌ FAQ · answers from the data spine
Who maintains jacobian?
Maintained by deancureton (the owner) on GitHub.
What language is jacobian written in?
Primarily Lean.
When was jacobian created? When was the last update?
Created July 20, 2026 · last commit July 20, 2026.
How do I install jacobian?
Clone the repo:
git clone https://github.com/deancureton/jacobian.gitIs jacobian actively maintained?
stalled — no commits for an extended period
Created
Updated
Last commit
//COMMENTS · 0
Sign in to join the discussion