lampepfl / monadic-reflectionLinks
☆109Updated last year
Alternatives and similar repositories for monadic-reflection
Users that are interested in monadic-reflection are comparing it to the libraries listed below
Sorting:
- backwards-binary-compatible Scala standard library additions☆70Updated this week
- Asynchronous data type with typed errors.☆82Updated 9 months ago
- Effectful property testing built on ScalaCheck☆82Updated this week
- Compile time validation of literal values built from strings☆112Updated last week
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Effect Zoo for Scala☆41Updated last month
- Proof of concept for a cats-like library built using Dotty features☆117Updated last year
- Easily modify parts of larger data structures☆61Updated 9 months ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- A STM implementation for Cats Effect☆148Updated last week
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated 2 years ago
- Finally Tagless Blocking Implementation☆92Updated 3 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Scala compiler plugin to detect unused expressions☆65Updated 3 weeks ago
- Get the name of a type at compile-time. Amaze your friends!☆78Updated 2 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- TypeTag without scala-reflect. Supports Scala 2 and Scala 3.☆147Updated last week
- A lightweight, simple and functional DSL library to work with XML in Scala with Cats☆61Updated 2 months ago
- Extensible algebraic effects with handlers☆145Updated this week
- Multisets for Scala☆85Updated 3 years ago
- Compatibility checks for your dependencies☆85Updated this week
- Full program static analysis for Scala☆95Updated 3 years ago
- skema morphisms☆89Updated this week
- A reimagined scala-pickling in the Scala 3 world☆74Updated 2 years ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 3 months ago
- JDK 11+ http client implementation for http4s clients☆57Updated this week
- ☆56Updated 4 months ago
- Cats-Effect & Akka interop☆55Updated last week
- Recursion schemes training examples and exercises☆60Updated 5 years ago