kv - a C++ Library for Verified Numerical Computation
☆98Aug 1, 2026Updated 2 months ago
Alternatives and similar repositories for kv
Users that are interested in kv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 10 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Jun 17, 2015Updated 11 years ago
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Nov 26, 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.
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆483Mar 16, 2024Updated 2 years ago
- Boost.org numeric interval library☆31Oct 2, 2026Updated last week
- IBEX is a C++ library for constraint processing over real numbers.☆91Oct 5, 2026Updated last week
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Library for rigorous verification of non-linear arithmetic☆117Sep 18, 2026Updated 3 weeks ago
- Code generation tool to generate mathematical libraries☆62Oct 15, 2025Updated 11 months ago
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆52Updated this week
- Haskell x Android☆25Sep 18, 2022Updated 4 years ago
- A repository for personal experimental purpose☆11Apr 11, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A mirror of the CRLibm project from INRIA Forge☆51Oct 1, 2020Updated 6 years ago
- [WIP] 外来語（カタカナ）の書き方を扱うtextlintルールプリセット☆17Jun 24, 2026Updated 3 months ago
- Arithmetic with small and with very large rationals is made fast.☆22Jul 29, 2026Updated 2 months ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆203Jun 12, 2025Updated last year
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆31Oct 13, 2024Updated 2 years ago
- Task-based fast multipole method, parallelized using OpenMP and StarPU. With StarPU it supports multiple GPUs (CUDA).☆20Jun 16, 2025Updated last year
- Multiple-precision GPU accelerated linear algebra routines (dense and sparse) based on residue number system☆22Dec 19, 2022Updated 3 years ago
- Unified interface for interacting with Git forges☆13Jun 29, 2026Updated 3 months ago
- TOPPERS Software for Raspberry Pi AArch64.☆16Oct 28, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Nov 23, 2019Updated 6 years ago
- instruction-bench☆35Jan 10, 2023Updated 3 years ago
- C++17 Library for dimensional analysis based on variadic Phantom-Type.☆36Dec 15, 2023Updated 2 years ago
- Bidirectional WoS☆19Sep 25, 2025Updated last year
- New Stickney Japanese Kana Keyboard Layout☆16May 10, 2021Updated 5 years ago
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆13Jul 11, 2024Updated 2 years ago
- Basic Polynomial Algebra Subprograms☆19Jul 29, 2025Updated last year
- Generic interface for attaching metadata to stuff.☆14Sep 14, 2025Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- 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.
- This extension colors the background in various ways for VS Code☆11Apr 30, 2023Updated 3 years ago
- slim LMNtal implementation☆22Sep 11, 2026Updated last month
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 5 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- C++ code for the RDIS algorithm from "Recursive Decomposition for Nonconvex Optimization." Friesen and Domingos, IJCAI 2015.☆58Nov 2, 2015Updated 10 years ago
- A command line tool for TEPRA SR5900P☆36Dec 19, 2023Updated 2 years ago
- ☆36Feb 20, 2020Updated 6 years ago