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
Alternatives and similar repositories for CompressibleEuler
Users that are interested in CompressibleEuler 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
- 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
- End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equat…☆16Sep 9, 2026Updated last month
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆17Oct 15, 2026Updated last week
- A training codebase for Zeroth-Order Optimization☆13Oct 13, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆19Sep 16, 2026Updated last month
- The Cosmos numerical relativity code (with unstructured AMR)☆22Apr 12, 2024Updated 2 years ago
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆77Sep 9, 2026Updated last month
- ☆26Aug 19, 2026Updated 2 months ago
- Blog on formalizing key transformer invariants.☆25Sep 15, 2026Updated last month
- Rebasing graph networks paper☆12Oct 10, 2025Updated last year
- Collection of publicly available cognitive task datasets☆16Apr 17, 2024Updated 2 years ago
- A database being built for the Amoveo blockchain.☆18Aug 22, 2026Updated 2 months ago
- OMR JIT glue code implementing a Ruby JIT☆12Dec 6, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- telegram bot library on actix☆12Jun 29, 2019Updated 7 years ago
- An elimination death game to study AI and human agent behavior☆35Sep 4, 2026Updated last month
- This Project focuses on processing legal court decisions and is part of on-going research at New York University. This code is in develop…☆10Jul 17, 2019Updated 7 years ago
- Parallel fitting of GLMs using SharedArrays☆11Feb 8, 2020Updated 6 years ago
- ☆31Aug 2, 2026Updated 2 months ago
- Julia implementation of LULESH with MPI + X.☆12Jul 23, 2022Updated 4 years ago
- Travelling Salesman Problem in JavaScript Canvas☆12Nov 22, 2020Updated 5 years ago
- ☆14Dec 14, 2013Updated 12 years ago
- A docker container for running bitcoind node☆10Jul 6, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Scripts used to produce the analysis in our paper on computable phenotypes for long-COVID☆18Sep 17, 2025Updated last year
- ☆13Jul 16, 2024Updated 2 years ago
- a Carpentries-style lesson introducing the basics of data visualization☆11Updated this week
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- MVP for updated PEP 543 proposal☆14Oct 15, 2026Updated last week
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 3 years ago
- ☆72Updated this week
- Implementation of Bayesian Sets for fast similarity searches.☆14Oct 2, 2011Updated 15 years ago
- A dashboard for visualising benchmark results from benchmarkdotnet-results-publisher☆12Updated 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.
- Perl tools for automating routine tasks encountered when running quantum chemistry computations.☆10Jan 12, 2021Updated 5 years ago
- TexNLP: Texas Natural Language Processing tools☆14Jan 14, 2012Updated 14 years ago
- Speeding Up Your Python Codes 1000x☆13Apr 2, 2025Updated last year
- 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
- Simple (and currently incomplete) Python wrapper around the Opentrons HTTP API☆11Nov 26, 2025Updated 10 months ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Aug 11, 2026Updated 2 months ago