Lean certificates accompanying Navier-Stokes and Euler results
☆2,101Sep 10, 2026Updated last month
Alternatives and similar repositories for NavierStokesAndEuler
Users that are interested in NavierStokesAndEuler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆268Sep 8, 2026Updated last month
- ☆302Oct 6, 2026Updated last week
- Lean certificates accompanying ten proofs in mathematics and theoretical computer science☆214Aug 5, 2026Updated 2 months ago
- A rust port of con-leche☆31Updated this week
- Work with Cloudflare Turnstile in Python: find the sitekey, get a valid cf-turnstile-response token in seconds. Dependency-free library +…☆614Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Metamask Desktop client and Web3 dApp browser for Windows, macOS, and Linux. Built with EVM and Solana support.☆1,237Oct 7, 2026Updated last week
- ☆15,081Updated this week
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated 3 weeks ago
- ☆92Updated this week
- PyTorch Code for Explorative Modeling: Unlocking a Third Pretraining Axis and End-to-End Generation☆249Sep 30, 2026Updated 2 weeks ago
- ☆143Aug 12, 2026Updated 2 months ago
- Halofy is the open access and governance layer for AI agents across your organization. Identity, policy, provenance, audit, and signed er…☆319Updated this week
- Megatron-LM adapted for Puro-2B☆99Aug 30, 2026Updated last month
- A small Python library and CLI for working with Cloudflare Turnstile on your own pages - read the sitekey, build the token, verify the re…☆119Updated this week
- 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.
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- ☆353Oct 2, 2026Updated 2 weeks ago
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆281Updated this week
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆167Sep 2, 2026Updated last month
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆232Updated this week
- Agentic browser control driven by your own Claude / Cursor subscriptions☆180Aug 15, 2026Updated 2 months ago
- MoonEP: A Perfectly Balanced Expert Parallelism Library via Dynamic Redundant Experts☆1,182Updated this week
- An external lean checker with a proof of consistency☆135Updated this week
- AI-CFD hybrid solver.☆20Apr 21, 2026Updated 5 months ago
- 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.
- ☆51Updated this week
- ☆27Apr 16, 2026Updated 6 months ago
- TypeScript AI SDK and agent framework with zero dependencies. Build production AI agents and multi-agent swarms: durable execution, long-…☆563Updated this week
- Interactive graph of an Obsidian vault as Obsidian community plugin.☆269Updated this week
- ☆243Updated this week
- ☆110Aug 17, 2026Updated 2 months ago
- ☆230Aug 2, 2026Updated 2 months ago
- Research draft of a candidate proof of Crouzeix's conjecture☆535Aug 16, 2026Updated 2 months ago
- Interruptible vector icon morphing for Flutter.☆179Updated 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 tactile M5Stack StopWatch controller for AI-assisted Vibe Coding☆146Aug 8, 2026Updated 2 months ago
- Your planet. The release notes. An unofficial changelog for Earth, built from real reporting.☆173Updated this week
- For detecting anti-detect browsers and spoofed profiles through runtime coherence analysis.☆2,067Sep 22, 2026Updated 3 weeks ago
- VB6 Studio Web — a browser-native classic Visual Basic IDE, form designer, source runtime and controls library in HTML, CSS and JavaScrip…☆156Updated this week
- Jev-compatible API endpoint based on open models (prefill-only)☆333Oct 1, 2026Updated 2 weeks ago
- ☆1,283Sep 24, 2026Updated 3 weeks ago
- ☆35Jul 20, 2026Updated 2 months ago