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
- Faster, more flexible and more correct alternative to core::fmt☆39Updated 4 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- Lift enum variants to the type-level.☆31Updated 3 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
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated this week
- A macro for defining type operators in Rust.☆64Updated 7 years ago
- ☆27Updated 7 years ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated 2 weeks ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- Experimental Language based on Rust and Haskell☆51Updated 8 years ago
- ☆25Updated 9 years ago
- GLL parsing framework.☆137Updated 10 months ago
- ☆43Updated 3 years ago
- An ordered map and set based on a trie.☆29Updated 4 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆23Updated last year
- ☆32Updated 2 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 6 months ago
- PEG parser generator built on top of nom☆69Updated 5 years ago
- A dynamically typed value with fast downcasting.☆28Updated 8 years ago
- A very small GC in Rust, with a safe API☆61Updated 6 months ago
- Collection of typed data structures, trait operators and aliases☆50Updated 4 years ago
- ☆92Updated last year
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- tom: a format-preserving TOML parser in Rust☆38Updated 2 years ago