#37 today
▼ 6
lanyonai/MaxwellEquations
Lean AI
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
Created Jul 20, 2026
- Stars
- 22
- Today
- +7
- Forks
- 1
- Quality
- 100/100
- Momentum
- 21
First trending
Jul 20, 2026
first spotted on the list
Best rank
#15
highest position reached
Appearances
2
times on the trending list
Quality score
100
out of 100
Momentum
21
trend strength indicator
Star velocity
0.39
stars per day since creation
Activity — last 60 days
daily counts, collected every 6 hours- Stars
- Forks
- Merged PRs
- Issues
- Closed issues
Collecting activity data since launch — check back in a few days.
Star history
total stars per snapshotRank history
position on trending · lower is betterStars badge
Show current stars in your README or profile. Auto-updates every 6 hours.
Markdown
[](https://www.notionpulse.cc/repo/lanyonai/MaxwellEquations) HTML
<a href="https://www.notionpulse.cc/repo/lanyonai/MaxwellEquations"><img src="https://www.notionpulse.cc/api/badge/lanyonai/MaxwellEquations.svg" alt="lanyonai/MaxwellEquations stars badge" /></a> Repository of the Day
Repository of the Week
Repository of the Month
