NEW

lastmile-ai/mcp-agentjust droppedNEW

dottxt-ai/outlinesjust droppedNEW

getomni-ai/zeroxjust droppedREPO

Panniantong/Agent-Reach+523 stars 24hREPO

farion1231/cc-switch+249 stars 24hREPO

Lum1104/Understand-Anything+215 stars 24hREPO

obra/superpowers+192 stars 24hREPO

chopratejas/headroom+183 stars 24hNEW

lastmile-ai/mcp-agentjust droppedNEW

dottxt-ai/outlinesjust droppedNEW

getomni-ai/zeroxjust droppedREPO

Panniantong/Agent-Reach+523 stars 24hREPO

farion1231/cc-switch+249 stars 24hREPO

Lum1104/Understand-Anything+215 stars 24hREPO

obra/superpowers+192 stars 24hREPO

chopratejas/headroom+183 stars 24h

scottnarmstrong/CoarseGrainingpublicLeangithub.com/scottnarmstrong/CoarseGraining

CoarseGraining

Q: Who maintains CoarseGraining?

Maintained by scottnarmstrong (the owner) on GitHub.

Q: How do I install CoarseGraining?

Clone the repo: git clone https://github.com/scottnarmstrong/CoarseGraining.git — then follow the README in the cloned directory.

A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.

LEANDEVTOOLSDECLINING VELOCITYTRENDING #707

Comments0Compare Set alert Export RSS Visit repo

// OWNER · scottnarmstrong · REPO SNAPSHOT

github.com/scottnarmstrong

scottnarmstrong

A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.

scottnarmstrong

STARS5+0 · 7d

FORKS0+0 · 7d

CONTRIBUTORS0maintainer graph thin

OPEN ISSUES · PRS0· 0

LICENSE—no license file

LANGUAGELean

FOUNDED—

LOCATION—

MEMBERS—

PUBLIC REPOS—

TOTAL STARS—

FOCUS—

//STAR HISTORY · 12M

+0 all-time-window

Star history not yet available

We don't have a sampled star timeline for scottnarmstrong/CoarseGraining yet. The chart populates once the daily snapshot pass collects its first data points for this repo.

//WHY IT'S TRENDING· narrative synthesis · medium confidence

scottnarmstrong/CoarseGraining is sitting at #707 on the trending leaderboard with a pulse of 18/100 with no cross-source channels firing yet — GitHub-stars-only signal so far.

It sits at 5 stars without a fresh weekly delta on record — the trending placement here is steady-state interest in the Lean devtools space rather than a 7-day breakout.

Watch-outs: no tagged release on record (treat as pre-stable).

↻ refreshed 2m ago· next sync in 3m· sourced from 0 channels · 0 mentions / 24h

// RELATED REPOS · CROSS-SOURCE OVERLAP

5 detected · 30d window

▌ FAQ · answers from the data spine

What is scottnarmstrong/CoarseGraining?

A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.

Who maintains CoarseGraining?

Maintained by scottnarmstrong (the owner) on GitHub.

What language is CoarseGraining written in?

Primarily Lean.

When was CoarseGraining created? When was the last update?

Created June 15, 2026 · last commit June 15, 2026.

How do I install CoarseGraining?

Clone the repo:

git clone https://github.com/scottnarmstrong/CoarseGraining.git

Then follow the README in the cloned directory.

Is CoarseGraining actively maintained?

stalled — no commits for an extended period

//COMMENTS · 0

live thread · operators only

Be the first to comment.

Created2026-06-15

Updated12h ago

Last commit12h ago