NeoCogi / pfds
☆16Updated 3 months ago
Alternatives and similar repositories for pfds:
Users that are interested in pfds are comparing it to the libraries listed below
- Propositional logic with exponentials☆17Updated last week
- A simple error library for no_std + no_alloc Rust☆18Updated 4 years ago
- ☆16Updated 11 months ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Propositional logic with types in Rust☆61Updated last year
- Type-level named values with partial dependent type support in Rust☆56Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 3 years ago
- Rust NonEmpty slice☆13Updated 3 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆30Updated 5 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆15Updated 9 months ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A radioactive stabilization of the ptr_meta RFC.☆24Updated 2 weeks ago
- LR-style Parser Generator☆17Updated 2 weeks ago
- Fast cache efficient immutable map for rust☆28Updated 3 months ago
- ☆18Updated 3 weeks ago
- ☆32Updated 2 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- `NonEmpty` library vector for rust☆19Updated 2 years ago
- A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.☆8Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 3 weeks ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Compiler for the Lavish IDL☆18Updated 5 years ago
- hot-reload template for Rust☆21Updated 2 years ago
- ☆17Updated 4 years ago
- ☆43Updated 3 years ago