aslpavel / fingertree-rs
FingerTree implemented in rust
☆21Updated last year
Alternatives and similar repositories for fingertree-rs:
Users that are interested in fingertree-rs are comparing it to the libraries listed below
- Lift enum variants to the type-level.☆31Updated 3 years ago
- A set of tools for working with datafrog☆22Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Propositional logic with exponentials☆17Updated last week
- <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐☆13Updated 5 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 5 years ago
- Embedded Scheme for the Async Rust Ecosystem☆40Updated this week
- Experimental persistent collections in Rust☆45Updated 7 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- An async allocator with Fun™️ unsafe Rust☆18Updated last year
- To futures-lite as futures-lite is to futures: smaller.☆53Updated last month
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated 2 years ago
- ☆32Updated 2 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- A toy incremental computation framework☆15Updated 4 years ago
- ☆17Updated 4 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- Solve hard constraints easily with Rust.☆15Updated 2 years ago
- D-inspired contract programming in Rust using macros☆54Updated 3 years ago
- LR-style Parser Generator☆17Updated 2 weeks ago
- Visualise recursive functions and tree structures.☆30Updated 3 years ago
- Partial function application macro for Rust☆47Updated 4 years ago
- ☆22Updated 5 years ago
- dom-like layout for terminal applications☆12Updated 4 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago