mtomassoli / HKTsLinks
Seamless Higher-Kinded Types in Rust
☆84Updated 2 years ago
Alternatives and similar repositories for HKTs
Users that are interested in HKTs are comparing it to the libraries listed below
Sorting:
- Stack safe and expressive recursion in Rust☆102Updated 2 months ago
- The Haskell’s do notation brought to Rust☆64Updated 3 years ago
- lens implemented in rust☆115Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- Anonymous struct and named arguments in Rust.☆75Updated last year
- Safe, zero-cost tail recursion for stable Rust☆178Updated 10 months ago
- 🎶 Choreographic programming in Rust 🎶☆59Updated 5 months ago
- Proc-macro typestate DSL for Rust☆151Updated 2 years ago
- Simple refinement types for Rust; parse, don't validate!☆74Updated 2 weeks ago
- A memory efficient syntax tree for language developers☆62Updated 3 weeks ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Macro for auto-memoizing Rust functions.☆88Updated last month
- Functional lens library for Rust☆109Updated 4 years ago
- Easy-to-use optional function arguments for Rust☆47Updated last year
- ⅋ — session types for Rust☆206Updated last month
- Scripting language focused on processing tabular data.☆177Updated 2 years ago
- Silky smooth Java-Rust interop☆191Updated this week
- Choose Rust types at compile-time via constants☆68Updated last year
- A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.☆40Updated 3 years ago
- Eventually consistent values for Rust☆126Updated 3 years ago
- ☀️|>⛅|>☔☆62Updated last year
- Loosely coupled Rust application design made easy☆99Updated 7 months ago
- Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust☆112Updated 9 months ago
- Blazing fast immutable collection datatypes for Rust.☆112Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Comparing parser APIs☆136Updated 3 weeks ago
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆66Updated 4 months ago
- ☆141Updated 2 months ago
- A Rust API search engine☆26Updated 3 years ago
- Const equivalents of std functions, compile-time comparison, and parsing.☆105Updated 2 weeks ago