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
- 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
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- ☆33Updated 3 years ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 3 months ago
- Experimental Language based on Rust and Haskell☆51Updated 8 years ago
- Faster, more flexible and more correct alternative to core::fmt☆40Updated 4 years ago
- A very small GC in Rust, with a safe API☆61Updated 8 months ago
- A toy Lisp compiler targeting x86-64☆40Updated 5 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆28Updated last year
- Macro-rules-style syntax matching for procedural macros☆52Updated last year
- Experimental type level programming in Rust☆37Updated 3 years ago
- Ergonomic trie data structure☆27Updated 6 years ago
- An ordered map and set based on a trie.☆29Updated 4 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics☆26Updated last year
- A structure for holding a set of enum variants☆20Updated 6 years ago
- A dynamically typed value with fast downcasting.☆28Updated 9 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 months ago
- tom: a format-preserving TOML parser in Rust☆38Updated 2 years ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Rust: Get multiple mutable references to the same collection☆13Updated 7 years ago
- A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.☆36Updated 4 years ago
- Procedural macro span debugger/visualizer☆40Updated 4 years ago
- Fast json encoder in rust, that encodes the structure of JSON values in their types☆83Updated 2 years ago
- A proc-macro to break Rust IDEs☆64Updated 3 years ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Spawn processes with arbitrary closures in rust☆110Updated 3 years ago
- ☆61Updated 7 years ago