kitsuneninetails / rust-effectsLinks
A set of typeclasses and effects for Rust similar to those provided by Cats for Scala
☆27Updated 5 years ago
Alternatives and similar repositories for rust-effects
Users that are interested in rust-effects are comparing it to the libraries listed below
Sorting:
- ☆97Updated 6 months ago
- The Haskell’s do notation brought to Rust☆64Updated 4 years ago
- Extensible algebraic effects with handlers☆148Updated last week
- Macro to use rust IntoIterator as a monad with haskell like syntax☆27Updated 6 years ago
- Algebraic Effects for Scala 3☆81Updated last month
- Higher level WASM library for Rust☆10Updated last year
- ☆55Updated 5 years ago
- Experiments with composable lock-free concurrency☆22Updated last week
- Your favourite Haskell type classes for Rust☆266Updated 2 years ago
- Idris front-end for VS Code☆61Updated 2 years ago
- Linear types in Scala☆46Updated last week
- A quick tour of some cool new stuff in Scala 3.☆11Updated 3 years ago
- The material for the Advanced Functional Design workshop☆18Updated 3 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- Functional lens library for Rust☆113Updated 5 years ago
- Generic Monoids for Scala☆52Updated last week
- Running Scala in WebAssembly through Scala Native☆107Updated 7 years ago
- Learn distributed systems in Scala using ZIO and Maelstrom☆18Updated 3 months ago
- Actor library for Rust☆26Updated 3 months ago
- A friendly guide for leveraging the power of recursion schemes in real-world applications☆107Updated 5 years ago
- ☆35Updated this week
- ☆41Updated 5 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆35Updated 7 years ago
- Liquid Types implementation for Rust☆30Updated 3 years ago
- ☆108Updated 2 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- ☆23Updated last month
- Hoogle-like searches for Scala 3 and Kotlin☆93Updated last year
- Http4s on Finagle Server or Client☆11Updated 2 weeks ago
- A new programming model for asynchronous and distributed programming.☆37Updated 8 years ago