End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
☆70Jul 17, 2026Updated last month
Alternatives and similar repositories for AdvectionDiffusion
Users that are interested in AdvectionDiffusion 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 Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.☆42Jul 20, 2026Updated last month
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆175Updated this week
- ☆51Apr 12, 2026Updated 4 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 4 months ago
- Repository for "Training Language Models To Explain Their Own Computations"☆35Jul 7, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 3 months ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆85Jul 13, 2026Updated last month
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆72Apr 7, 2026Updated 4 months ago
- Portable Agent Skills for building and maintaining Open Knowledge Format project wikis in plain Markdown.☆32Aug 1, 2026Updated 3 weeks ago
- MIRA Mini one-click local player — pip install alakazam-mira-mini; mira-mini play☆39Jul 18, 2026Updated last month
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆17Jul 28, 2026Updated last month
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated last month
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆15Jul 11, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆39Mar 24, 2024Updated 2 years ago
- A flexible modeling notation Δ☆15Jul 29, 2026Updated last month
- Content-addressable memory system based on projective geometry (Schubert calculus on Grassmannian G(2,4))☆16Mar 24, 2026Updated 5 months ago
- ☆22Aug 24, 2026Updated last week
- A formal proof of the Riemann Hypothesis for curves☆59Feb 6, 2026Updated 6 months ago
- ☆23Jun 16, 2026Updated 2 months ago
- ☆13Jun 10, 2021Updated 5 years ago
- UlamAI is an open-source Lean theorem prover and formalizer.☆158Aug 9, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆29Apr 2, 2026Updated 4 months ago
- an Open Collaborative project to explore the implications — theoretical or practical — of the PDE perspective of ConvNets☆21Oct 7, 2023Updated 2 years ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆36Apr 8, 2026Updated 4 months ago
- [ICML 2026] Set Diffusion: Interpolating Token Orderings between Autoregression and Diffusion for Fast and Flexible Decoding☆26Aug 9, 2026Updated 3 weeks ago
- A search engine built on the Unpaywall database☆20Mar 13, 2024Updated 2 years ago
- SDK-first orchestration platform for managing AI coding agent fleets: BYOA key rotation, real-time WebSocket dashboard, DCG integration, …☆23Aug 24, 2026Updated last week
- Proteus 2.0☆10Aug 20, 2026Updated last week
- BigchainDB ledger plugin for COALA IP☆16Nov 15, 2021Updated 4 years ago
- Bayesian process classifier that detects abandoned/zombie processes and recommends safe cleanup actions☆27Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- Load, normalize and init asciinema asciicast data☆12Dec 12, 2019Updated 6 years ago
- Code for Fast-weight Product Key Memory (FwPKM)☆22Mar 18, 2026Updated 5 months ago
- ☆18Mar 10, 2026Updated 5 months ago
- ☆16Mar 2, 2026Updated 5 months ago
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 3 years ago
- Code for CoRL 2022 paper: https://arxiv.org/abs/2211.09006 (simulation environments)☆12Feb 9, 2023Updated 3 years ago