C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic
☆50Jun 17, 2015Updated 11 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:
- GAOL is not Just Another Interval Arithmetic Library☆20Dec 9, 2025Updated 8 months ago
- kv - a C++ Library for Verified Numerical Computation☆98Aug 1, 2026Updated 2 weeks 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
- 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
- Boost.org numeric interval library☆31Updated this week
- 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.
- Interval arithmetic for real computation☆26Feb 7, 2026Updated 6 months ago
- An interval library for OCaml☆17Dec 9, 2022Updated 3 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Modern rust-native lisp with fibers, signals, capabilities, jit, and more...☆23Updated this week
- Basic Polynomial Algebra Subprograms☆19Jul 29, 2025Updated last year
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Nov 26, 2025Updated 8 months ago
- Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆481Mar 16, 2024Updated 2 years ago
- A mirror of the CRLibm project from INRIA Forge☆51Oct 1, 2020Updated 5 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 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 template for Python projects using cookiecutter☆13Updated this week
- A Rust implementation of interval arithmetic (IEEE 1788)☆48Jan 26, 2025Updated last year
- A rust Implementation of the SiLabs USBXpress Driver using LibUSB☆10May 1, 2021Updated 5 years ago
- Implementation of micro lisp☆10Oct 18, 2016Updated 9 years ago
- Course Dependencies☆12Feb 8, 2020Updated 6 years ago
- A parser for the Intel Hexadecimal Object File Format (.hex), written in Swift.☆14May 3, 2021Updated 5 years ago
- Matrices with interval coefficients in Julia☆19Jul 9, 2026Updated last month
- Exact real arithmetic in C++☆50Oct 1, 2020Updated 5 years ago
- A dynamically-resizable vector with fixed capacity and embedded storage (P0843)☆34Jul 30, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Secure Coding Validation Suite☆16Jun 5, 2019Updated 7 years ago
- Test::More for the C programming language☆37Mar 12, 2024Updated 2 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆89Feb 21, 2026Updated 5 months ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- An implementation of printf using c++11's variadic templates☆13Mar 25, 2019Updated 7 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- Arduino arm semihosting library☆14Nov 7, 2021Updated 4 years ago
- GluCat: Clifford algebra templates☆23Aug 11, 2026Updated last week
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 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.
- Functional Geometry in Prolog☆18May 17, 2020Updated 6 years ago
- The Rocq Prover Website☆15Updated this 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
- How do you do that recursive GADT thing again?☆32Mar 15, 2024Updated 2 years ago
- Meetup CPP/Sponsorships through Github Issues to ensure visibility and open-source driven initiatives.☆13Apr 26, 2026Updated 3 months ago
- Collection of ktl header libraries - small C++20 wrapper utilities☆11Aug 15, 2022Updated 4 years ago
- Library for exact real number computations☆41Apr 5, 2015Updated 11 years ago