End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equations in 1D, 2D, and 3D.
☆16Sep 9, 2026Updated last month
Alternatives and similar repositories for BurgersEquation
Users that are interested in BurgersEquation 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 general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆23Jul 27, 2026Updated 2 months ago
- Automatically prove mathematical statements about your jax code in lean☆52Aug 6, 2026Updated 2 months ago
- 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
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- 15k open math problems, linked to their sources.☆28Updated this week
- 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.
- 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
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Axiomatic_AI MCP Server☆24Oct 8, 2026Updated 2 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
- Formal proof that the optimal exercise boundary of an American put option is log convex when the constant dividend yield is nonnegative a…☆20Sep 7, 2026Updated last month
- ☆12Mar 31, 2024Updated 2 years ago
- Rebasing graph networks paper☆12Oct 10, 2025Updated last year
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆17Oct 15, 2026Updated last week
- WhisperDRZ: a Whisper-large-v3 fine-tune that transcribes, diarizes (who said what), predicts word-level timestamps, and tags non-speech …☆48Sep 4, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆27Apr 16, 2026Updated 6 months ago
- experimental LeanOS formally verified OS☆17Updated this week
- The interface between probabilistic model checking and data-driven policy learning.☆21Sep 6, 2026Updated last month
- ☆16May 28, 2026Updated 4 months ago
- My Blog☆18Oct 17, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆42Updated this week
- ☆13Jul 16, 2024Updated 2 years ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- Experiments with interactive theorem provers, LLMs and formal systems☆26Jul 10, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆23Oct 16, 2026Updated last week
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 3 years ago
- Some Cryptids and Lean proofs☆61Updated this week
- Perl tools for automating routine tasks encountered when running quantum chemistry computations.☆10Jan 12, 2021Updated 5 years ago
- alternative way to calculating self attention☆18May 25, 2024Updated 2 years ago
- Official Pytorch implementation of Chromatic Graph Transformers☆10Jun 14, 2023Updated 3 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated 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
- Bayesian Nonparametric Mixture Models in Julia☆14Oct 25, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An MCP-compatible server providing atomistic simulation capabilities through ASE, pymatgen, etc.☆12Oct 15, 2026Updated last week
- Simplicial Representation Learning with Neural k-Forms☆15Mar 20, 2024Updated 2 years ago
- An open protocol for distributed multi-agent autoformalization.☆117Oct 18, 2026Updated last week
- ☆10Jun 4, 2025Updated last year
- A general forcefield for phonon properties of metal-organic frameworks☆13Sep 13, 2020Updated 6 years ago
- what we've learned about linear fitting; might eventually merge into DAR☆11Aug 20, 2021Updated 5 years ago
- An LLM chatbot augmented by neuro-symbolic rules☆10Jun 8, 2023Updated 3 years ago