Skip to main content
⌘K
Drop a repoSign up
NEWvicrodh/qbzjust droppedNEWkowalski-ptr/compass-before-compactjust droppedNEWlastmile-ai/mcp-agentjust droppedREPOunicity-aos/aos-ce+2991 stars 24hREPOtirth8205/code-review-graph+2553 stars 24hREPOdiegosouzapw/OmniRoute+2431 stars 24hREPOstablyai/orca+1786 stars 24hREPOkoala73/worldmonitor+1718 stars 24hNEWvicrodh/qbzjust droppedNEWkowalski-ptr/compass-before-compactjust droppedNEWlastmile-ai/mcp-agentjust droppedREPOunicity-aos/aos-ce+2991 stars 24hREPOtirth8205/code-review-graph+2553 stars 24hREPOdiegosouzapw/OmniRoute+2431 stars 24hREPOstablyai/orca+1786 stars 24hREPOkoala73/worldmonitor+1718 stars 24h
lanyonai/MaxwellEquationspublicLeangithub.com/lanyonai/MaxwellEquations
lanyonai avatar

MaxwellEquations

End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.

LEANOTHERDECLINING VELOCITYTRENDING #1112
Comments0CompareSet alertExportRSSVisit repo

// OWNER · lanyonai · REPO SNAPSHOT

github.com/lanyonai

lanyonai

End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.

GitHublanyonai
STARS32+0 · 7d
FORKS2+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

+32 all-time-window
Stars · cumulative32 · today
//WHY IT'S TRENDING· narrative synthesis · medium confidence

lanyonai/MaxwellEquations is sitting at #1112 on the trending leaderboard with a pulse of 12/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 now· next sync in 5m· sourced from 0 channels · 0 mentions / 24h

// RELATED REPOS · CROSS-SOURCE OVERLAP

5 detected · 30d window
#01
AxiomMath/IMO2026
Lean ecosystem peer.
CO-MENTIONS · 30D (5 total)
41
★ 79
18
last · 3d ago
#02
deancureton/jacobian
Lean ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 32
11
last · 1d ago
#03
logical-intelligence/erdos-unit-distance
Lean ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 15
5
last · 1mo ago
#04
QuantumNous/new-api
claude-codeShared tag: claude-code.
CO-MENTIONS · 30D (24 total)
1581
★ 42.9k
36
last · 5h ago
#05
Itsmeinayath/visualdb
JavaScript ecosystem peer.
CO-MENTIONS · 30D (0 total)
0
★ 24
36
last · 1h ago

▌ FAQ · answers from the data spine

What is lanyonai/MaxwellEquations?
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
Who maintains MaxwellEquations?
Maintained by lanyonai (the owner) on GitHub.
What language is MaxwellEquations written in?
Primarily Lean.
When was MaxwellEquations created? When was the last update?
Created July 20, 2026 · last commit July 20, 2026.
How do I install MaxwellEquations?
Clone the repo:
git clone https://github.com/lanyonai/MaxwellEquations.git
Then follow the README in the cloned directory.
Is MaxwellEquations actively maintained?
stalled — no commits for an extended period

//COMMENTS · 0

live thread · operators only

Sign in to join the discussion

Be the first to comment.
Created
Updated
Last commit
Repositorylanyonai/MaxwellEquations