#47 today
lanyonai/ElectrostaticVlasov
Lean AI
End-to-end formally verified solvers for the electrostatic Vlasov equation in 1x1v, 1x2v, 1x3v, 2x2v, 2x3v, and 3x3v (i.e. 2D to 6D) phase space.
Created Jul 21, 2026
- Stars
- 7
- Today
- +7
- Forks
- 2
- Quality
- 90/100
- Momentum
- 19
First trending
Jul 21, 2026
first spotted on the list
Best rank
#47
highest position reached
Appearances
1
times on the trending list
Quality score
90
out of 100
Momentum
19
trend strength indicator
Star velocity
0.13
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 snapshotNot enough snapshots yet — check back soon.
Rank history
position on trending · lower is betterNot enough snapshots yet — check back soon.
Stars badge
Show current stars in your README or profile. Auto-updates every 6 hours.
Markdown
[](https://www.notionpulse.cc/repo/lanyonai/ElectrostaticVlasov) HTML
<a href="https://www.notionpulse.cc/repo/lanyonai/ElectrostaticVlasov"><img src="https://www.notionpulse.cc/api/badge/lanyonai/ElectrostaticVlasov.svg" alt="lanyonai/ElectrostaticVlasov stars badge" /></a> Repository of the Day
Repository of the Week
Repository of the Month
