andresilva / rust-okasakiLinks
Purely Functional Data Structures in Rust
☆43Updated 9 years ago
Alternatives and similar repositories for rust-okasaki
Users that are interested in rust-okasaki are comparing it to the libraries listed below
Sorting:
- Generate Purescript types from your Rust types. (unmaintained)☆42Updated 6 years ago
- ☆54Updated 5 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- A Result-like type that can collect multiple Errs☆12Updated 4 years ago
- Category Theory For Programmers (Bartosz Milewski)☆67Updated 3 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- Typed λ-calculus in Rust☆29Updated 2 years ago
- Type-Level Programming in Rust☆28Updated 3 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- Strongly typed routes for Rust