kitsuneninetails / rust-effects

Related projects ⓘ

Alternatives and complementary repositories for rust-effects

• golemcloud / golem-wasm-ast
  Higher level WASM library for Rust
  ☆9Updated last month
• hadronized / do-notation
  The Haskell’s do notation brought to Rust
  ☆55Updated 2 years ago
• algermissen / rustz
  Rustz is a library for functional programming in Rust
  ☆81Updated 6 years ago
• griba2001 / rust-monadic
  Macro to use rust IntoIterator as a monad with haskell like syntax
  ☆25Updated 4 years ago
• clintonmead / haskell_bits
  ☆54Updated 4 years ago
• nilehmann / liquid-rust
  ☆38Updated 3 years ago
• politrons / FunctionalRust
  ☆91Updated 2 weeks ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆35Updated 3 years ago
• sideeffffect / scala-rust-interop
  ☆33Updated 3 weeks ago
• mtomassoli / HKTs
  Seamless Higher-Kinded Types in Rust
  ☆74Updated last year
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆53Updated last year
• lyphyser / deptypes
  ☆15Updated 8 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• j5ik2o / rust-fp
  The Library for Functional Programming in Rust
  ☆13Updated 11 months ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆24Updated 3 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆45Updated 8 years ago
• rkuhn / acto
  Actor library for Rust
  ☆26Updated 4 months ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆39Updated this week
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆91Updated last month
• lenguyenthanh / compilers
  A place for me to learn/ experiment with interpreters/compilers
  ☆12Updated last month
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 4 years ago
• 7mind / idealingua-v1
  IdeaLingua RPC for Scala, TypeScript, C#, Go
  ☆20Updated this week
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆56Updated 4 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆42Updated 8 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated 2 years ago
• wrsturgeon / rsmonad
  Haskell-style monads in Rust.
  ☆18Updated last year
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated last year