End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
☆56Jul 20, 2026Updated 3 months ago
Alternatives and similar repositories for MaxwellEquations
Users that are interested in MaxwellEquations are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- End-to-end formally verified solvers for the isothermal Euler and full compressible Euler equations in 1D, 2D, and 3D.☆14Aug 10, 2026Updated 2 months ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 3 months ago
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆78Sep 9, 2026Updated last month
- Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes☆102Aug 28, 2023Updated 3 years ago
- A training codebase for Zeroth-Order Optimization☆13Oct 13, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 2 weeks ago
- Wave propagation simulator☆15Sep 10, 2026Updated last month
- Reimagining Artificial Life for the GPU Era☆34Jul 7, 2026Updated 3 months ago
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated last month
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- Fixed-length strings in Julia represented by NTuples☆13Sep 24, 2026Updated last month
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- MuJoCo fruit fly body model and locomotion RL tasks☆18Jul 21, 2025Updated last year
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Mar 17, 2024Updated 2 years ago
- Proétale cohomology in Lean☆17Sep 29, 2026Updated last month
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆76Updated this week
- 1d and 3d models of the atmosphere for the simulation of airborne wind energy systems☆15Oct 22, 2026Updated last week
- A machine learning model for the prediction of charge density.☆14Aug 24, 2024Updated 2 years ago
- Tristan-MP v2 [public]☆22Dec 29, 2024Updated last year
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 3 weeks ago
- A python package for information-theoretic analysis of discrete and continuous data.☆34Aug 7, 2026Updated 2 months ago
- open-source 3D viewer for cortical neuron connectivity☆16Oct 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Artify images using Delaunay Triangulation☆17Jul 20, 2026Updated 3 months ago
- Automatically prove mathematical statements about your jax code in lean☆53Aug 6, 2026Updated 2 months ago
- Supplemental material for the "Beyond Notations" paper☆10Feb 7, 2023Updated 3 years ago
- A modular hydrodynamic code written in pure Julia☆18Mar 28, 2025Updated last year
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆73Apr 7, 2026Updated 6 months ago
- A Lean (4) type checker written in RPython☆11Oct 19, 2026Updated last week
- Tool to analyse the import structure of lean projects.☆28Updated this week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Oct 22, 2026Updated last week
- Subliminal learning in LLMs: language models can transmit hidden preferences through seemingly unrelated training data.☆25Nov 9, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Derives the fine structure constant α = 1/137.036 from first principles: the Coherence Learning Rule on the diamond lattice. Zero free pa…☆31Aug 19, 2026Updated 2 months ago
- ☆18Oct 15, 2026Updated 2 weeks ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- ☆72Updated this week
- Toolbox to compute the rhythmicity profile and band borders of electrophysiological data☆20Jul 22, 2026Updated 3 months ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆62Updated this week
- Code for Fast-weight Product Key Memory (FwPKM)☆26Mar 18, 2026Updated 7 months ago