Integer interval arithmetic library
☆19May 15, 2025Updated 10 months ago
Alternatives and similar repositories for intervallum
Users that are interested in intervallum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- ScheduleOpt benchmarks☆19Mar 10, 2026Updated 2 weeks ago
- A modular compiler framework for Brainfuck-like languages☆12Dec 4, 2024Updated last year
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- ☆12Dec 3, 2025Updated 3 months ago
- A set of useful cryptographic utilities for blockchain development.☆12Sep 15, 2022Updated 3 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Mar 26, 2022Updated 3 years ago
- A minimal DNA that exposes core functionality for testing purposes☆10May 10, 2021Updated 4 years ago
- A Rust library for iterating over random permutations.☆14Jun 15, 2021Updated 4 years ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 5 years ago
- Constraint solver based on abstract domains☆33Oct 22, 2024Updated last year
- ☆15Apr 30, 2016Updated 9 years ago
- Configuration files that allow cppcheck to provide better static analysis results☆17Aug 7, 2018Updated 7 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Abstractions of memory, allocator, vector, tuple, shared_ptr, unique_ptr, bitset, variant and string working on both CPU and GPU☆32Mar 6, 2026Updated 2 weeks ago
- PCB files for Adafruit E-Paper Display Breakouts☆12Feb 7, 2024Updated 2 years ago
- A prefix sum implementation rust.☆13Jan 2, 2019Updated 7 years ago
- Predicator, a Rust crate for generating and running dynamic code☆16Sep 25, 2018Updated 7 years ago
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆13Feb 9, 2026Updated last month
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- A TMX reading library in Rust☆11Jan 4, 2020Updated 6 years ago
- A fast ring buffer implementation with cheap and safe indexing written in Rust☆15Sep 22, 2025Updated 6 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Feb 15, 2019Updated 7 years ago
- Utility and useful structures for Rust☆14Aug 27, 2020Updated 5 years ago
- LMNtal Compiler☆24Updated this week
- Wrappers for BLAS (Fortran)☆82Feb 8, 2025Updated last year
- Rust In-Memory Filesystem☆17Nov 28, 2019Updated 6 years ago
- Experiment to get k-combinations working as a const fn☆13Nov 27, 2025Updated 3 months ago
- Example mouse for usbd-hid-device☆13Jul 26, 2020Updated 5 years ago
- A path to Programming Language Theory enlightenment☆12Apr 13, 2016Updated 9 years ago
- ☆13Mar 7, 2026Updated 2 weeks ago
- Benchmarks for automated engineering design☆28Mar 16, 2026Updated last week
- Meneame.net en la terminal linux☆13Aug 1, 2025Updated 7 months ago
- ☆18Sep 8, 2025Updated 6 months ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 3 years ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆46Jan 26, 2025Updated last year