algermissen / rustz

Related projects ⓘ

Alternatives and complementary repositories for rustz

• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆35Updated 3 years ago
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆218Updated last year
• griba2001 / rust-monadic
  Macro to use rust IntoIterator as a monad with haskell like syntax
  ☆25Updated 4 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆41Updated 6 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• TeXitoi / rust-mdo
  Monadic do notation for rust using macro and duck typing
  ☆227Updated 5 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• TeaEntityLab / fpRust
  Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features for Rust
  ☆119Updated 3 years ago
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆55Updated 2 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆24Updated 3 years ago
• kitfre / Kinder
  Algebraic structure and emulation of higher kinded types for Rust
  ☆106Updated 5 years ago
• damienstanton / ctrs
  Category Theory For Programmers (Bartosz Milewski)
  ☆64Updated 2 years ago
• purescript / purescript-effect
  The Effect monad, for handling native side effects
  ☆53Updated 2 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 4 years ago
• andylokandy / comp-rs
  Pure-macro Do notation and List-comprehension for Option, Result and Iterator.
  ☆52Updated 5 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 4 years ago
• nilehmann / liquid-rust
  ☆38Updated 3 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆110Updated 5 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆41Updated 8 years ago
• j5ik2o / rust-fp
  The Library for Functional Programming in Rust
  ☆13Updated 10 months ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆104Updated 3 years ago
• hasura / graphql-parser-hs
  A GraphQL query parser for Haskell
  ☆59Updated 2 years ago
• bvssvni / rust-idris-fs
  An attempt at writing C libraries in Rust that can be called from Idris
  ☆22Updated 8 years ago
• ludat / hado-rs
  ☆44Updated 6 years ago
• pandaman64 / effective-rust
  ☆149Updated 5 years ago
• kitsuneninetails / rust-effects
  A set of typeclasses and effects for Rust similar to those provided by Cats for Scala
  ☆24Updated 4 years ago
• fosskers / validated
  The cumulative sibling of `Result` and `Either`.
  ☆20Updated 7 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated last year
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 6 months ago