ptal / intervallum
Integer interval arithmetic library
☆18Updated last year
Alternatives and similar repositories for intervallum:
Users that are interested in intervallum are comparing it to the libraries listed below
- Lift enum variants to the type-level.☆33Updated 4 years ago
- ☆34Updated 3 years ago
- Trait generalization of the fundamental types☆44Updated 10 months ago
- Some benchmarks for generational arenas in rust☆26Updated 9 months ago
- ☆37Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 5 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- A lightweight attribute for easy generation of const functions with conditional compilations.☆27Updated last month
- Visualise recursive functions and tree structures.☆29Updated 3 years ago
- ☆20Updated 8 years ago
- A rust implementation of the va_list type from `stdarg.h`☆20Updated 7 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆37Updated 3 months ago
- A syn targetting PEG parser generator☆20Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆91Updated 3 weeks ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- This crate demonstrates an approach to including KaTeX in Rust docs☆28Updated 6 years ago
- High performance FID (Fully Indexable Dictionary) library☆24Updated 9 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Curve fitting library for Rust☆16Updated last month
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆30Updated 6 months ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- A BK-tree implementation in Rust.☆40Updated last year
- A safe-guarded transmute for Rust☆38Updated 11 months ago
- Tools for working with types where a subset of values has a total order, like e.g. floats without NaN☆12Updated 3 years ago
- A newtype with alignment of at least `A` bytes☆32Updated 2 months ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- A radioactive stabilization of the ptr_meta RFC.☆26Updated 3 months ago
- Rust traits for nonzero generic integers☆15Updated 2 years ago
- Thin but safe Linux interface☆11Updated 2 months ago