kv - a C++ Library for Verified Numerical Computation
☆97May 30, 2026Updated 3 weeks 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:
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Jun 17, 2015Updated 11 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 7 months ago
- Rigorous Global Branch-and-Bound Optimizer☆25Dec 13, 2024Updated last year
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆476Mar 16, 2024Updated 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.
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 4 years ago
- Boost.org numeric interval library☆31Apr 22, 2026Updated 2 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆49Jan 26, 2025Updated last year
- IBEX is a C++ library for constraint processing over real numbers.☆89Feb 21, 2026Updated 4 months ago
- Library for rigorous verification of non-linear arithmetic☆115May 29, 2024Updated 2 years ago
- Library for validated numerics using interval arithmetic☆326Jun 21, 2026Updated last week
- Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed by Stolfi and Comba in the early 90's for…☆15Nov 18, 2013Updated 12 years ago
- Code generation tool to generate mathematical libraries☆61Oct 15, 2025Updated 8 months ago
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆51Jun 3, 2026Updated 3 weeks 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 binding for ibex-lib☆15Mar 31, 2022Updated 4 years ago
- Haskell x Android☆25Sep 18, 2022Updated 3 years ago
- Promete - Simple, Powerful and Extensible 2D Game Engine for .NET☆14May 31, 2026Updated 3 weeks ago
- A statically typed and lazy evaluated implementation of Lambda Calculus.☆21Sep 15, 2018Updated 7 years ago
- Symbolic differentation of algebraic expressions with Python and Tcl interfaces.☆19Oct 12, 2025Updated 8 months ago
- Arithmetic with small and with very large rationals is made fast.☆22Apr 14, 2026Updated 2 months ago
- A Library that provides `result<T, E>` and `maybe<T>` and monadic functions for them.☆59Updated this week
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆31Oct 13, 2024Updated last year
- Web rendering engine for mathematical formulae☆29Jan 16, 2022Updated 4 years 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.
- Unified interface for interacting with Git forges☆13Feb 26, 2026Updated 4 months ago
- Remez algorithm for computing minimax polynomial approximations☆47Aug 10, 2020Updated 5 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- instruction-bench☆35Jan 10, 2023Updated 3 years ago
- Basic Polynomial Algebra Subprograms☆18Jul 29, 2025Updated 11 months ago
- 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 last year
- Optimize nonsmooth functions with gradient sampling, (ns) BFGS...☆10Feb 11, 2025Updated last year
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 9 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.
- Transcompiler for lua and go.☆33Jan 6, 2024Updated 2 years ago
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 5 years ago
- PMW is a music typesetting program, processing marked-up text into PostScript and PDF.☆18Apr 10, 2026Updated 2 months ago
- C++ code for the RDIS algorithm from "Recursive Decomposition for Nonconvex Optimization." Friesen and Domingos, IJCAI 2015.☆58Nov 2, 2015Updated 10 years ago
- Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.☆17Jul 25, 2023Updated 2 years ago
- ☆35Feb 20, 2020Updated 6 years ago
- ☆14Jun 12, 2026Updated 2 weeks ago