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
  ☆95Updated last week
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆111Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• alecdotninja / tailcall
  Safe, zero-cost tail recursion for stable Rust
  ☆152Updated 3 months ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆63Updated 11 months ago
• rustype / typestate-rs
  Proc-macro typestate DSL for Rust
  ☆142Updated last year
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆58Updated 3 years ago
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆46Updated 9 months ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆107Updated 6 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆51Updated 4 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆56Updated 2 years ago
• edgeandnode / eventuals
  Eventually consistent values for Rust
  ☆122Updated 2 years ago
• LyonSyonII / akin
  Rust crate for writing repetitive code easier and faster.
  ☆43Updated 2 years ago
• zahash / reactivate
  Thread Safe Reactive Data Structure. Made with ❤️ for 🦀
  ☆40Updated 9 months ago
• hkmatsumoto / roogle
  A Rust API search engine
  ☆26Updated 3 years ago
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆68Updated 3 months ago
• PoignardAzur / venial
  "A very small syn"
  ☆199Updated this week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆99Updated 2 weeks ago
• gbj / tachys
  Experimental web UI library for Rust.
  ☆54Updated 9 months ago
• dtolnay / seq-macro
  Macro to repeat sequentially indexed copies of a fragment of code
  ☆141Updated last week
• davidbarsky / tracing-tree
  ☆130Updated 6 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• mitsuhiko / fragile
  Utility wrapper to send non send types to other threads safely
  ☆171Updated last year
• cloudhead / nonempty
  Correct by construction non-empty list
  ☆60Updated this week
• nextest-rs / datatest-stable
  Data-driven tests on stable Rust
  ☆37Updated this week
• rustonaut / vec1
  Rust `Vec<T>` wrapper that gurantees to contain at least 1 element
  ☆90Updated 7 months ago
• hominee / crossbus
  A Platform-less, Runtime-less Actor Computing Model
  ☆123Updated 10 months ago
• disintegrate-es / disintegrate
  Disintegrate Rust library
  ☆52Updated this week
• audunhalland / unimock
  A versatile and developer-friendly trait mocking library
  ☆71Updated 5 months ago
• rodrimati1992 / konst
  Const equivalents of std functions, compile-time comparison, and parsing.
  ☆89Updated 2 weeks ago