mtomassoli / HKTs

Related projects ⓘ

Alternatives and complementary repositories for HKTs

• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆90Updated last month
• rustype / typestate-rs
  Proc-macro typestate DSL for Rust
  ☆141Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆110Updated last year
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆61Updated 9 months ago
• edgeandnode / eventuals
  Eventually consistent values for Rust
  ☆122Updated 2 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆51Updated 2 months ago
• rzvxa / pike
  ☀️|>⛅|>☔
  ☆45Updated 4 months ago
• disintegrate-es / disintegrate
  Disintegrate Rust library
  ☆45Updated 3 weeks ago
• alecdotninja / tailcall
  Safe, zero-cost tail recursion for stable Rust
  ☆146Updated last month
• audunhalland / entrait
  Loosely coupled Rust application design made easy
  ☆85Updated last week
• faiface / par
  ⅋ — session types for Rust
  ☆74Updated last month
• zahash / reactivate
  Thread Safe Reactive Data Structure. Made with ❤️ for 🦀
  ☆40Updated 7 months ago
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated 11 months ago
• botahamec / happylock
  Deadlock free mutexes
  ☆120Updated 3 months ago
• zheland / typed-index-collections
  Typed index version of Rust slice and Vec containers
  ☆66Updated last month
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆55Updated 2 years ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆107Updated 3 months ago
• audunhalland / unimock
  A versatile and developer-friendly trait mocking library
  ☆71Updated 3 months ago
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆46Updated 6 months ago
• BrynCooke / buildstructor
  Derive a builder for your constructors in Rust
  ☆65Updated this week
• dtolnay / seq-macro
  Macro to repeat sequentially indexed copies of a fragment of code
  ☆138Updated 2 months ago
• gbj / tachys
  Experimental web UI library for Rust.
  ☆56Updated 7 months ago
• komora-io / terrors
  ergonomic and precise error handling built atop type-level set arithmetic
  ☆200Updated 7 months ago
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆58Updated this week
• Lucretiel / nom-supreme
  A collection of utilities for a superior nom experience
  ☆149Updated last year
• matthieu-m / ghost-collections
  Safe collections written in stable Rust, based on GhostCell and StaticRc.
  ☆180Updated 3 years ago
• PoignardAzur / venial
  "A very small syn"
  ☆196Updated 7 months ago
• bazhenov / tango
  Rust microbenchmarking harness based on paired-testing methodology
  ☆73Updated last month
• AhoyISki / AnyRope
  A special rope, designed to work with any data type that is not String
  ☆32Updated last year