Alternatives and similar repositories for HKTs:

Users that are interested in HKTs are comparing it to the libraries listed below

• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆96Updated last month
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆63Updated last year
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆113Updated last year
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆108Updated 7 months ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆97Updated last year
• alecdotninja / tailcall
  Safe, zero-cost tail recursion for stable Rust
  ☆153Updated 4 months ago
• rzvxa / pike
  ☀️|>⛅|>☔
  ☆45Updated 7 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆106Updated last month
• edgeandnode / eventuals
  Eventually consistent values for Rust
  ☆122Updated 2 years ago
• disintegrate-es / disintegrate
  Disintegrate Rust library
  ☆53Updated this week
• polazarus / hipstr
  Yet another string type for Rust
  ☆82Updated this week
• PoignardAzur / venial
  "A very small syn"
  ☆200Updated 2 weeks ago
• LyonSyonII / akin
  Rust crate for writing repetitive code easier and faster.
  ☆43Updated 2 years ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆58Updated 3 years ago
• rustype / typestate-rs
  Proc-macro typestate DSL for Rust
  ☆143Updated last year
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆46Updated 10 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆54Updated 3 weeks ago
• zahash / reactivate
  Thread Safe Reactive Data Structure. Made with ❤️ for 🦀
  ☆40Updated 10 months ago
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆68Updated 4 months ago
• dureuill / nolife
  Open a scope and then freeze it in time for future access.
  ☆104Updated 5 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 2 years ago
• oliver-giersch / closure
  A macro wrapping Rust closure calls that allows for capturing variables in scope on an individual bases.
  ☆40Updated 2 years ago
• komora-io / terrors
  ergonomic and precise error handling built atop type-level set arithmetic
  ☆216Updated 3 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆136Updated 2 months ago
• hkmatsumoto / roogle
  A Rust API search engine
  ☆26Updated 3 years ago
• Lucretiel / lazy_format
  Lazy formatting utility macro for rust
  ☆127Updated last year
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 6 months ago
• aatifsyed / errgo
  Generate enum variants inline
  ☆55Updated last year