unageek / inariLinks
A Rust implementation of interval arithmetic (IEEE 1788)
☆46Updated last year
Alternatives and similar repositories for inari
Users that are interested in inari are comparing it to the libraries listed below
Sorting:
- We have Crater At Home☆37Updated last year
- Faster integer division and modulus operations☆88Updated 7 months ago
- A syntactic "for" loop Rust macro☆55Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 7 months ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Arbitrary precision floating point numbers library☆112Updated 10 months ago
- A regex crate using Brzozowski derivatives.☆27Updated 9 months ago
- ☆55Updated 5 months ago
- The WebAssembly Indirect Call Inliner☆27Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- A simple, id-based arena☆125Updated 2 weeks ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆55Updated 3 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 3 years ago
- Exhaustive iteration trait in Rust☆21Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Updated 2 years ago
- ☆46Updated 3 years ago
- PEG trace visualizer☆95Updated 3 months ago
- A primitive for writing structural search and replace programs for rust☆31Updated 2 weeks ago
- ☆20Updated 5 years ago
- Load fonts as vector graphics in pure Rust with advanced text layout.☆43Updated 2 years ago
- Arena allocator with scopes☆44Updated 2 years ago
- Target "triple" support☆55Updated last month
- Integer interval arithmetic library☆19Updated 8 months ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated 2 years ago
- Project group working on the "safe transmute" feature☆97Updated last year
- Nudging the compiler to auto-vectorize things☆76Updated 2 years ago
- ☆38Updated 3 years ago
- ☆36Updated last year
- Rust library for displaying compiler diagnostics like rustc☆24Updated 2 years ago