paholg / peano
The peano numbers implemented in Rust's type system.
☆24Updated 8 years ago
Alternatives and similar repositories for peano:
Users that are interested in peano are comparing it to the libraries listed below
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search☆17Updated 7 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Macro-rules-style syntax matching for procedural macros☆53Updated last year
- Proof of concept of procedural macro input parsed by LALRPOP☆52Updated 2 years ago
- A parser-combinator library for Rust☆45Updated 9 years ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆26Updated last year
- ☆17Updated 9 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last month
- A double-ended priority queue implemented with an interval heap.☆17Updated 7 years ago
- Faster, more flexible and more correct alternative to core::fmt☆40Updated 4 years ago
- Experimental Language based on Rust and Haskell☆51Updated 8 years ago
- Ergonomic trie data structure☆27Updated 6 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- A simple map based on a vector for small integer keys☆63Updated 5 months ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- An ordered map and set based on a trie.☆29Updated 4 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A very small GC in Rust, with a safe API☆62Updated 10 months ago
- Concurrent work-stealing deque☆47Updated 6 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- ☆45Updated 4 years ago
- A structure for holding a set of enum variants☆19Updated 6 years ago
- Rust: Get multiple mutable references to the same collection☆13Updated 7 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- tom: a format-preserving TOML parser in Rust☆38Updated 2 years ago