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.
☆23Jul 27, 2026Updated 2 months ago
Alternatives and similar repositories for GeneralRelativisticMaxwell
Users that are interested in GeneralRelativisticMaxwell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Analytic 3D MHD equilibria☆39Sep 24, 2026Updated 3 weeks ago
- End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.☆53Jul 20, 2026Updated 3 months ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated 2 weeks ago
- ☆72Oct 14, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- 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.
- ☆39Sep 27, 2026Updated 3 weeks ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆77Sep 9, 2026Updated last month
- A rust port of con-leche☆33Updated this week
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- Structured data extraction and programmatic interaction with Lean 4.☆20May 7, 2026Updated 5 months ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this 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.
- An external lean checker with a proof of consistency☆139Updated this week
- Supplemental material for the "Beyond Notations" paper☆10Feb 7, 2023Updated 3 years ago
- ☆306Oct 6, 2026Updated 2 weeks ago
- ☆12Mar 31, 2024Updated 2 years ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- Comparator-based Lean formal mathematics eval☆48Oct 7, 2026Updated last week
- 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.
- Automatically prove mathematical statements about your jax code in lean☆52Aug 6, 2026Updated 2 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ☆230Aug 2, 2026Updated 2 months ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Claude Code plugin marketplace for Tesseract architecture generation☆15Feb 25, 2026Updated 7 months ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- AHA is autoresearch for agent safety: one agent red-teams a production agent overnight and comes back with reusable explanations of why t…☆34Sep 26, 2026Updated 3 weeks ago
- ☆31Apr 3, 2026Updated 6 months ago
- ☆50Oct 12, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code and paper reproductions for MLPs Are Hebbians☆33Jul 22, 2026Updated 2 months ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- FIRM3D (Fast Ion Reduced Models in 3D) is a software suite for modeling of energetic particle dynamics in 3D magnetic fields.☆16Updated this week
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- A Python version of the Magnetic field diagnostic package Oculus☆11Oct 12, 2026Updated last week
- ☆16Jul 3, 2023Updated 3 years ago