ptal / intervallum
Integer interval arithmetic library
☆17Updated 9 months ago
Related projects: ⓘ
- Lift enum variants to the type-level.☆30Updated 3 years ago
- ☆31Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- A rust implementation of the va_list type from `stdarg.h`☆20Updated 2 weeks ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- exhaustive testing library☆57Updated last month
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆43Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Performs topological sorting.☆16Updated 2 months ago
- Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.☆19Updated 10 months ago
- A macro for defining type operators in Rust.☆62Updated 7 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- A command line tool to generate Unicode tables as source code.☆93Updated 8 months ago
- Trait generalization of the fundamental types☆40Updated 3 months ago
- Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.☆100Updated 5 years ago
- Unicode caseless matching☆19Updated last year
- Runtime with fast GC and easy concurrency.☆41Updated 3 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 4 years ago
- Implementation of libm in rust☆33Updated 7 years ago
- Tools for working with types where a subset of values has a total order, like e.g. floats without NaN☆12Updated 2 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Logic programming, for Rust, from inside Rust.☆39Updated 4 years ago
- A proof of concept automatic differentiation library for Rust☆23Updated 6 years ago
- Ranged integers for Rust based on const generics☆26Updated last month
- A library for generating Graphviz DOT language files for graphs.☆73Updated last year
- Compact sets in rust☆52Updated last week
- tom: a format-preserving TOML parser in Rust☆38Updated 2 years ago
- ☆34Updated last year