goualard-f / GAOLView external linksLinks
GAOL is not Just Another Interval Arithmetic Library
☆19Dec 9, 2025Updated 2 months ago
Alternatives and similar repositories for GAOL
Users that are interested in GAOL are comparing it to the libraries listed below
Sorting:
- Visualizer for Intervals and BoxES☆21Jan 5, 2026Updated last month
- A Python binding for ibex-lib☆14Mar 31, 2022Updated 3 years ago
- kv - a C++ Library for Verified Numerical Computation☆93Mar 15, 2025Updated 11 months ago
- Differential equation (ODE & DAE) solver test suite☆10Sep 24, 2018Updated 7 years ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆46Jan 26, 2025Updated last year
- IBEX is a C++ library for constraint processing over real numbers.☆85Jan 28, 2026Updated 2 weeks ago
- Next Generation RTL for Elements — replaces Sugar.☆24Updated this week
- A low latency oriented thread caching allocator for Linux/Windows. Single header & LD_PRELOADable.☆22Jan 1, 2026Updated last month
- Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint progra…☆49Feb 10, 2026Updated last week
- ncurses based data navigators☆27Jul 17, 2018Updated 7 years ago
- An arbitrary-precision differentiable programming language.☆36Jul 7, 2023Updated 2 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- Library for exact real number computations☆40Apr 5, 2015Updated 10 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated 3 weeks ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Jan 22, 2026Updated 3 weeks ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 2 months ago
- Unified interface for interacting with Git forges☆13Jun 25, 2025Updated 7 months ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 7 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Nov 26, 2025Updated 2 months ago
- Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions☆12Jul 10, 2020Updated 5 years ago
- ☆10Jun 2, 2017Updated 8 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years 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
- Pub/sub prototype 50x faster than Redis☆14Nov 25, 2016Updated 9 years ago
- 🍒 Cherry programming language 🍒☆13Sep 18, 2024Updated last year
- Proof-of-concept distributed key-value store implementation on top of MicroRaft, Protocol Buffers, and gRPC☆14Feb 15, 2023Updated 3 years ago
- Parallel Self-Adjusting Computation☆15Jul 5, 2021Updated 4 years ago
- Julia package for transfer operator spectral methods☆11Aug 14, 2024Updated last year
- A Julia implementation of ▁▂▃▅▂▇ spark: simple printing of unicode trendlines☆10Nov 24, 2018Updated 7 years ago
- Library for construction, manipulation and evaluation of factorable functions☆12Dec 13, 2025Updated 2 months ago
- OpenVDB Support for Mitsuba☆11May 26, 2014Updated 11 years ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆10Mar 24, 2025Updated 10 months ago
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- Catmull-Clark subdivision surface deformation tool.☆12Mar 7, 2017Updated 8 years ago
- AYON Addon for Blackmagic DaVinci Resolve☆13Feb 9, 2026Updated last week
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 6 months ago