☆268Sep 8, 2026Updated last month
Alternatives and similar repositories for fluid_lean
Users that are interested in fluid_lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆230Aug 2, 2026Updated 2 months ago
- ☆72Updated this week
- ☆302Oct 6, 2026Updated last week
- Enhancing the convergence speed by 2x and improving the training success of Physics-Informed Neural Networks (PINNs).☆14Oct 14, 2024Updated 2 years ago
- Source reconstruction of 東方永夜抄 ～ Imperishable Night 1.00d☆118Updated 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.
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- Code intelligence for agents: find the code that matters and keep your context window and tokens lean.☆96Updated this week
- ☆31Apr 3, 2026Updated 6 months ago
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- PINN paper that will be submitted to Journal of Computational Science☆13Sep 11, 2026Updated last month
- AI-CFD hybrid solver.☆20Apr 21, 2026Updated 5 months ago
- Lean certificates accompanying Navier-Stokes and Euler results☆2,101Sep 10, 2026Updated last month
- LLM inference in C/C++☆56Aug 8, 2026Updated 2 months 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.
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- A lightweight, keyboard-first Telegram client for the terminal☆50Oct 10, 2026Updated last week
- 把 DSH 变成 2005 年门户网站｜Parody ads, fake games, and popups for the DSH Web UI☆675Updated this week
- A painted music video for "Functional Emotions", made by Claude Opus 5.5: custom GPU brushstroke renderer, storyboard, and 7 parallel cha…☆71Sep 23, 2026Updated 3 weeks ago
- ☆86Jul 27, 2026Updated 2 months ago
- Reproduce Lium's LocalMaxxing leaderboard runs (7 boards, 20 Verified) on a rented Lium GPU in one script — vLLM/llama.cpp recipes, measu…☆36Sep 26, 2026Updated 3 weeks ago
- [ECCV 2026] Low-Latency Event-Based Object Detection with Spatially-Sparse Linear Attention☆63Aug 26, 2026Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ☆16Dec 18, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Qwen-Image 2.1. Checkpoints, quants, prompt engines, LoRAs, and tooling☆154Updated this week
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆281Updated this week
- Composable mathematics tools for agents☆291Updated this week
- ☆92Updated this week
- ☆27Sep 8, 2026Updated last month
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆14Sep 28, 2025Updated last year
- Naive-N0.5-Flash is an open-weight 309B MoE model with 15.5B active parameters, built for coding and AI R&D.☆178Sep 27, 2026Updated 2 weeks ago
- ☆17Jun 10, 2026Updated 4 months ago
- A unified, torch-native training framework for MTP and block-parallel speculative decoding.☆284Jul 31, 2026Updated 2 months ago
- 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.
- ☆136Jul 9, 2026Updated 3 months ago
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Official Implementation of "AIVT: Inference of turbulent thermal convection from measured 3D velocity data by physics-informed Kolmogorov…☆16Sep 19, 2026Updated 3 weeks ago
- Making sure your context is clean.☆84Oct 11, 2026Updated last week
- A plugin for Claude and Codex that intelligently manages outstanding questions, tasks, issues, and opportunities into one nicely organize…☆84Updated this week
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago