mtomassoli / HKTs
Seamless Higher-Kinded Types in Rust
☆80Updated 2 years ago
Alternatives and similar repositories for HKTs:
Users that are interested in HKTs are comparing it to the libraries listed below
- Stack safe and expressive recursion in Rust☆96Updated 4 months ago
- Choose Rust types at compile-time via constants☆64Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- lens implemented in rust☆116Updated last year
- Functional lens library for Rust☆107Updated 4 years ago
- Safe, zero-cost tail recursion for stable Rust☆158Updated 7 months ago
- ☀️|>⛅|>☔☆56Updated 10 months ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- A garbage collection library for Rust with zero unsafe code☆111Updated 9 months ago
- Anonymous struct and named arguments in Rust.☆75Updated last year
- A memory efficient syntax tree for language developers☆57Updated last month
- Proc-macro typestate DSL for Rust☆148Updated last year
- The Haskell’s do notation brought to Rust☆61Updated 3 years ago
- Typed index version of Rust slice and Vec containers☆69Updated this week
- Safe-to-use proc-macro-free self-referential structs in stable Rust.☆262Updated 3 weeks ago
- A pure-Rust two-level dynamic b-tree. This crate implements a compact set data structure that preserves its elements' sorted order and a…☆90Updated 2 weeks ago
- Thread Safe Reactive Data Structure. Made with ❤️ for 🦀☆41Updated last year
- Eventually consistent values for Rust☆125Updated 2 years ago
- A simple, id-based arena☆119Updated last year
- Simple refinement types for Rust; parse, don't validate!☆73Updated last month
- Derive a builder for your constructors in Rust☆70Updated 2 months ago
- "A very small syn"☆204Updated 3 months ago
- Rust crate for writing repetitive code easier and faster.☆43Updated 2 years ago
- ☆136Updated 9 months ago
- Generate Rust enum variants without associated data☆95Updated last year
- Macro to repeat sequentially indexed copies of a fragment of code☆155Updated 2 months ago
- Yet another string type for Rust☆85Updated this week
- exhaustive testing library☆63Updated 9 months ago
- A Platform-less, Runtime-less Actor Computing Model☆122Updated last year
- 🎶 Choreographic programming in Rust 🎶☆55Updated last month