C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
☆49Jun 17, 2015Updated 10 years ago
Alternatives and similar repositories for libieeep1788
Users that are interested in libieeep1788 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- kv - a C++ Library for Verified Numerical Computation☆94Mar 16, 2026Updated last week
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- Boost.org numeric interval library☆31Mar 11, 2026Updated 2 weeks ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- Basic Polynomial Algebra Subprograms☆16Jul 29, 2025Updated 7 months ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 4 months ago
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆475Mar 16, 2024Updated 2 years ago
- A mirror of the CRLibm project from INRIA Forge☆50Oct 1, 2020Updated 5 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Library for rigorous verification of non-linear arithmetic☆115May 29, 2024Updated last year
- A rust Implementation of the SiLabs USBXpress Driver using LibUSB☆10May 1, 2021Updated 4 years ago
- Implementation of micro lisp☆10Oct 18, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A parser for the Intel Hexadecimal Object File Format (.hex), written in Swift.☆14May 3, 2021Updated 4 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- Trust Region Subproblem Solver Library☆22Jul 30, 2024Updated last year
- A Rust implementation of interval arithmetic (IEEE 1788)☆46Jan 26, 2025Updated last year
- A dynamically-resizable vector with fixed capacity and embedded storage (P0843)☆30Mar 15, 2026Updated last week
- Secure Coding Validation Suite☆16Jun 5, 2019Updated 6 years ago
- A type decoder for objective c types☆14Oct 20, 2024Updated last year
- Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.☆19Jul 26, 2015Updated 10 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 5 years ago
- 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.
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- Test::More for the C programming language☆37Mar 12, 2024Updated 2 years ago
- Micro Jack Lisp - For ESP8266 and Raspberry PI☆14Jun 1, 2016Updated 9 years ago
- FreeBSD Device Tree Compiler☆21Jun 16, 2025Updated 9 months ago
- GIT can make your repo more modular with `git submodule` (as shown in this repo). Here is a utility to send recursive commands through th…☆11Sep 28, 2022Updated 3 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆86Feb 21, 2026Updated last month
- A C++ implementation (with Python bindings) of the Persistence Filter.☆18Jul 19, 2022Updated 3 years ago
- ☆14Aug 31, 2017Updated 8 years ago
- GluCat: Clifford algebra templates☆23Feb 16, 2026Updated last month
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- A vcpkg registry.☆11Mar 19, 2026Updated last week
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Bare metal ARMv7 MMU Translation Table dumper☆19Sep 5, 2014Updated 11 years ago
- Collection of ktl header libraries - small C++20 wrapper utilities☆11Aug 15, 2022Updated 3 years ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago