#51 today
lanyonai/GeneralRelativisticMaxwell
Lean AI
End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations in curved spacetime, in 1D, 2D, and 3D.
Created Jul 27, 2026
- Stars
- 12
- Today
- +3
- Forks
- 1
- Quality
- 95/100
- Momentum
- 19
First trending
Jul 27, 2026
first spotted on the list
Best rank
#22
highest position reached
Appearances
2
times on the trending list
Quality score
95
out of 100
Momentum
19
trend strength indicator
Star velocity
0.24
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/GeneralRelativisticMaxwell) HTML
<a href="https://www.notionpulse.cc/repo/lanyonai/GeneralRelativisticMaxwell"><img src="https://www.notionpulse.cc/api/badge/lanyonai/GeneralRelativisticMaxwell.svg" alt="lanyonai/GeneralRelativisticMaxwell stars badge" /></a> Repository of the Day
Repository of the Week
Repository of the Month
