kv - a C++ Library for Verified Numerical Computation
☆94Mar 15, 2025Updated 11 months ago
Alternatives and similar repositories for kv
Users that are interested in kv are comparing it to the libraries listed below
Sorting:
- GAOL is not Just Another Interval Arithmetic Library☆19Dec 9, 2025Updated 2 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Jun 17, 2015Updated 10 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 3 months ago
- Rigorous Global Branch-and-Bound Optimizer☆24Dec 13, 2024Updated last year
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆474Mar 16, 2024Updated last year
- Boost.org numeric interval library☆31Feb 3, 2026Updated last month
- A Python binding for ibex-lib☆14Mar 31, 2022Updated 3 years ago
- Code generation tool to generate mathematical libraries☆58Oct 15, 2025Updated 4 months ago
- C++17 Library for dimensional analysis based on variadic Phantom-Type.☆36Dec 15, 2023Updated 2 years ago
- Library for rigorous verification of non-linear arithmetic☆115May 29, 2024Updated last year
- various keyboard layouts (primarily for Japanese)☆10May 8, 2023Updated 2 years ago
- Unified interface for interacting with Git forges☆13Feb 26, 2026Updated last week
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆200Jun 12, 2025Updated 8 months ago
- Library for validated numerics using interval arithmetic☆321Updated this week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Dec 9, 2024Updated last year
- Generic interface for attaching metadata to stuff.☆13Sep 14, 2025Updated 5 months ago
- Library for construction, manipulation and evaluation of factorable functions☆13Dec 13, 2025Updated 2 months ago
- Promete - Simple, Powerful and Extensible 2D Game Engine for .NET☆14Feb 12, 2026Updated 3 weeks ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- PMW is a music typesetting program, processing marked-up text into PostScript and PDF.☆18Jan 28, 2026Updated last month
- textlint rule plugin to check duplicated conjunctive particle `ga` in a sentence.☆11Nov 26, 2023Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆30Oct 13, 2024Updated last year
- Unofficial website of security camp☆14Aug 19, 2025Updated 6 months ago
- ☆10Sep 5, 2021Updated 4 years ago
- Yuca: A light-weight, in-memory, fast and simple to use search engine library.☆13Apr 3, 2019Updated 6 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- [WIP] 外来語（カタカナ）の書き方を扱うtextlintルールプリセット☆16Jan 25, 2026Updated last month
- ☆14Aug 6, 2023Updated 2 years ago
- 弱い表現の利用を禁止するtextlintルール☆14Jul 19, 2023Updated 2 years ago
- Rigid-body physics engine in C++☆21Sep 27, 2025Updated 5 months ago
- Basic Polynomial Algebra Subprograms☆16Jul 29, 2025Updated 7 months ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Nov 9, 2025Updated 3 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Nov 15, 2023Updated 2 years ago
- A library for reusable parsers☆17Feb 5, 2021Updated 5 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- coq-tutorial☆17Nov 11, 2019Updated 6 years ago