idealmhd
idealmhd is End-to-end formally verified solvers for the ideal magnetohydrodynamics equations (with and without hyperbolic divergence cleaning) in 1D, 2D, and 3D. - lanyonai/IdealMHD. It is ranked #1559 on the Dev Radar, in Other, first seen 20 days ago and shared in 1 post (1.4k views).
GitHub - lanyonai/IdealMHD: End-to-end formally verified solvers for the ideal magnetohydrodynamics equations (with and without hyperbolic divergence cleaning) in 1D, 2D, and 3D. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} lanyonai / IdealMHD Public Notifications You must be signed in to change notification settings Fork…
What people said about idealmhd on X
Jonathan is showing us a LLM guided future doesn’t have to mean everything becomes slop. Formally verified software is more practical now than it has ever been.
— @jfischoff, 20 days ago · 3 likes · see the post
Alternatives to idealmhd
- Spark-X2.5 — Model Scope
- mimo-v2.6 RL — Streaming the run
- qwen-image-2.1 — Qwen's most powerful open-source image generation model - QwenLM/Qwen-Image-2.1
- Ling-3.0-flash-Fin — Qwen-Drive-1.0-4B is a vision-language foundation model that handles 3D perception, driving VQA, and motion planning…
- Cactus Compute — It runs on mobiles, wearables, smart home devices, small robots and microcontrollers, with prebuilt engines for macOS,…
- glm-5.3-flash-exl3-2x-dgx-sparks — GLM-5.3 Flash EXL3 for 2-4x DGX Sparks. Contribute to MiaAI-Lab/GLM-5.3-Flash-EXL3-2x-DGX-Sparks development by…
idealmhd in numbers
- Rank on the Dev Radar: #1559 of 1818
- Shared in 1 post by 1 account: @jfischoff
- 1.4k views on those posts
- First seen 20 days ago, last shared 20 days ago
- Pricing seen by Jev: open source
- Market: Other
FAQ
What is idealmhd?
End-to-end formally verified solvers for the ideal magnetohydrodynamics equations (with and without hyperbolic divergence cleaning) in 1D, 2D, and 3D. - lanyonai/IdealMHD It was first shared on X 20 days ago and is ranked #1559 on the Dev Radar.
Is idealmhd free?
It is open source.
Who shared idealmhd?
1 account on X, including @jfischoff, in 1 post totalling 1.4k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 16.1k posts from 4.9k X accounts over the last 21 days, 1.8k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-20 19:24 UTC. Full method.