IdealMHD

(★ 9)

End-to-end formally verified solvers for the ideal magnetohydrodynamics equations (with and without hyperbolic divergence cleaning) in 1D, 2D, and 3D.

오너의 다른 레포

AdvectionDiffusion ★ 70

End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

C
MaxwellEquations ★ 42

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

Lean
GeneralRelativisticMaxwell ★ 20

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.

Lean
BurgersEquation ★ 14

End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equations in 1D, 2D, and 3D.

C
ElectrostaticVlasov ★ 12

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.

Lean
CompressibleEuler ★ 12

End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.

Lean

파일 탐색기

ZIP 다운로드
  • .gitattributes
  • LICENSE
  • README.md

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

링크
예시
// repository documentation