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:
- ☆96Updated last month
- The Haskell’s do notation brought to Rust☆64Updated 3 years ago
- Seamless Higher-Kinded Types in Rust☆84Updated 2 years ago
- Rustz is a library for functional programming in Rust☆81Updated 7 years ago
- Extensible algebraic effects with handlers☆145Updated last week
- Algebraic Effects for Scala 3☆79Updated last month
- Macro to use rust IntoIterator as a monad with haskell like syntax☆26Updated 5 years ago
- Experiments with composable lock-free concurrency☆20Updated this week
- Stack safe and expressive recursion in Rust☆102Updated 2 months ago
- ☆54Updated 5 years ago
- Linear types in Scala☆45Updated this week
- Generic Monoids for Scala☆52Updated this week
- Your favourite Haskell type classes for Rust☆264Updated 2 years ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆44Updated 2 years ago
- ☆35Updated 3 weeks ago
- The material for the Advanced Functional Design workshop☆18Updated 2 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆35Updated 7 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- ☆23Updated 2 weeks ago
- ☆41Updated 4 years ago
- ☆36Updated last year
- Scala 3 native binding generator + libclang facade☆89Updated 2 months ago
- Functional lens library for Rust☆109Updated 4 years ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- A tiny embedded scripting language implemented in Scala.☆24Updated 6 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆57Updated 4 years ago
- ☆37Updated 3 years ago
- Development tools for Typelevel projects☆123Updated last week
- Cooperative multithreading as a pure monad transformer☆73Updated last week