Lean certificates accompanying Navier-Stokes and Euler results
☆2,009Sep 10, 2026Updated 2 weeks ago
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:
- AI-CFD hybrid solver.☆20Apr 21, 2026Updated 5 months ago
- Collection of notebook and slides | workshop on Artificial Intelligence and Machine Learning, WRC Pokhara☆10Oct 22, 2025Updated 11 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆46May 7, 2025Updated last year
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆11Apr 7, 2025Updated last year
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 22, 2026Updated 3 months 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.
- A python implementation of the concepts in the book "Reinforcement Learning: An Introduction" by R.S. Sutton and A. G. Barto.☆21Jul 13, 2020Updated 6 years ago
- Control of 2D Rayleigh Benard Convection using Deep Reinforcement Learning with Tensorforce and Shenfun.☆23Jul 5, 2023Updated 3 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Gym-TORAX: A software for integrating reinforcement learning with plasma control simulators☆23Jul 11, 2026Updated 2 months ago
- STT-4230 / STT-6230 R pour scientifique - Notes de cours☆12Dec 16, 2022Updated 3 years ago
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago
- ☆11Apr 25, 2025Updated last year
- Finite-temperature variational Monte Carlo calculation of uniform electron gas using neural canonical transformation.☆16Jun 17, 2023Updated 3 years ago
- A comprehensive survey for AI Scientist.☆23Oct 29, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MATLAB code for Stein Point Markov Chain Monte Carlo.☆14Jul 3, 2019Updated 7 years ago
- 使用 Unity 引擎制作的卡牌游戏。☆16Jun 3, 2023Updated 3 years ago
- Lean specification of neural architectures with verified GPU codegen.☆34Updated this week
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- A demo Project on Populating the mindfulness section in the iOS Health Section☆12Feb 5, 2017Updated 9 years ago
- Zeobuilder is an extensible GUI-toolkit for molecular model construction.☆13Feb 15, 2019Updated 7 years ago
- A Visualized Shiny App to Evaluate Drug-Drug Interaction☆12Sep 15, 2015Updated 11 years ago
- Local-first platform for managing research projects, vibe coding and vibe research.☆26Mar 13, 2026Updated 6 months ago
- R Studio Addins for common data frame operations☆13Aug 5, 2016Updated 10 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.
- ☆19Apr 5, 2025Updated last year
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆17Updated this week
- ☆12Nov 21, 2023Updated 2 years ago
- a workflow to do constant potential thermodynamic integration in VASP☆12Dec 19, 2024Updated last year
- Run and manage EMTO-DFT calculations easily with this Python package☆13Jan 10, 2021Updated 5 years ago
- A booklet on the Smacc compiler compiler framework☆15Jun 6, 2026Updated 3 months ago
- ☆12Apr 2, 2021Updated 5 years ago
- The KeyVa programming language☆17Dec 17, 2024Updated last year
- A Python interface to the Ensembl REST APIs, biological data at your fingertips.☆11Apr 17, 2024Updated 2 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.
- 中科大2021秋《机器学习概论》课程资源☆10Jan 31, 2022Updated 4 years ago
- Creating large realisations of random fields on the sphere☆10Sep 17, 2026Updated last week
- ☆15Mar 25, 2026Updated 6 months ago
- extract and export e-mail addresses from outlook .olm files using python☆18Oct 25, 2020Updated 5 years ago
- Spring 2024 - Data Science and Machine Learning in Chemical Engineering☆12Feb 14, 2024Updated 2 years ago
- Cours de science des données en 1A à Mines Paris - PSL (2024)☆14Jul 9, 2024Updated 2 years ago
- An opensource launchpad for macOS☆16Jun 28, 2025Updated last year