mtomassoli / HKTs
Seamless Higher-Kinded Types in Rust
☆79Updated 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 2 months ago
- lens implemented in rust☆114Updated last year
- ☀️|>⛅|>☔☆47Updated 9 months ago
- Safe, zero-cost tail recursion for stable Rust☆158Updated 5 months ago
- Eventually consistent values for Rust☆123Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆111Updated 8 months ago
- Thread Safe Reactive Data Structure. Made with ❤️ for 🦀☆41Updated last year
- Proc-macro typestate DSL for Rust☆146Updated last year
- The Haskell’s do notation brought to Rust☆59Updated 3 years ago
- An IDE extension for debugging trait errors in Rust.☆108Updated last week
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Choose Rust types at compile-time via constants☆64Updated last year
- "A very small syn"☆201Updated last month
- Easy-to-use optional function arguments for Rust☆47Updated 11 months ago
- Disintegrate Rust library☆56Updated last week
- Simple refinement types for Rust; parse, don't validate!☆70Updated this week
- A Rust API search engine☆26Updated 3 years ago
- A memory efficient syntax tree for language developers☆57Updated 2 months ago
- Anonymous struct and named arguments in Rust.☆72Updated last year
- Yet another string type for Rust☆83Updated this week
- A simple, id-based arena☆118Updated last year
- Typed index version of Rust slice and Vec containers☆69Updated 5 months ago
- Experimental web UI library for Rust.☆54Updated last year
- Alternative future adapters that provide cancel safety.☆60Updated last week
- A collection of utilities for a superior nom experience☆153Updated last year
- Const equivalents of std functions, compile-time comparison, and parsing.☆95Updated 2 months ago
- Macro to repeat sequentially indexed copies of a fragment of code☆150Updated 3 weeks ago
- Silky smooth Java-Rust interop☆176Updated this week
- Correct by construction non-empty list☆61Updated 2 months ago
- An alternate Cargo registry using static files☆115Updated 3 weeks ago