End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
☆65Jul 17, 2026Updated this week
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:
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆91Updated this week
- A playable 3D voxel game built in Lean 4.☆20Jul 12, 2026Updated last week
- ☆49Apr 12, 2026Updated 3 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆29Apr 4, 2026Updated 3 months ago
- Repository for "Training Language Models To Explain Their Own Computations"☆23Jul 7, 2026Updated 2 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.
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated last month
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆81Jul 13, 2026Updated last week
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆70Apr 7, 2026Updated 3 months ago
- MIRA Mini one-click local player — pip install alakazam-mira-mini; mira-mini play☆33Updated this week
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆17May 7, 2026Updated 2 months ago
- Compact, local-first neuro-symbolic assistant in Rust with a 200 MiB Bitwork cognitive model, exact reasoning tools, governed memory, and…☆38Updated this week
- Anagram game for Android built with Unity☆11May 13, 2016Updated 10 years ago
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- ☆15Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Modeling Notation ꕤ☆15Mar 3, 2026Updated 4 months ago
- a small python container that lets you proxy requests from claude's cloud container through your home network☆17Dec 31, 2025Updated 6 months ago
- A unifying framework for linear temporal logics in Lean☆17Nov 7, 2025Updated 8 months ago
- Semantic Search Over 9 million Mathematical Theorems☆20Updated this week
- Content-addressable memory system based on projective geometry (Schubert calculus on Grassmannian G(2,4))☆16Mar 24, 2026Updated 3 months ago
- ☆20Jun 16, 2026Updated last month
- A formal proof of the Riemann Hypothesis for curves☆57Feb 6, 2026Updated 5 months ago
- UlamAI is an open-source Lean theorem prover and formalizer.☆154Mar 27, 2026Updated 3 months ago
- ☆13Jun 10, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- (beta) Hindsight integration for pi coding agent (with queueing, past session ingestion, and a focus on best practices)☆18Jun 26, 2026Updated 3 weeks ago
- Grid paper maker☆14Nov 16, 2019Updated 6 years ago
- Desktop app to parse PDF files locally and display markdown/bboxes. Powered by Tauri and liteparse☆22Jul 8, 2026Updated last week
- Agentic coding harness with persistent memory and a REPL body. Built on Ori Mnemos. Open source must win.☆17May 8, 2026Updated 2 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Implementation for IceCache: Memory-Efficient KV-cache Management for Long-Sequence LLMs (ICLR 2026).☆19Jun 9, 2026Updated last month
- Source code of Mathematical Surprises (open access)☆15Mar 24, 2025Updated last year
- 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, …☆23May 25, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Operating System☆10Jun 14, 2025Updated last year
- BigchainDB ledger plugin for COALA IP☆16Nov 15, 2021Updated 4 years ago
- g2-MLP: State-of-the-Art Model for Node Classification on Graphs (PPI Dataset)☆10Nov 12, 2022Updated 3 years ago
- ☆26Sep 4, 2025Updated 10 months ago
- Order random boba☆14Jul 7, 2019Updated 7 years ago
- ☆15Updated this week
- ☆13Jul 16, 2024Updated 2 years ago