tpolecat / turtles
Generalized recursion schemes and traversals for Scala, using Cats.
☆8Updated 6 years ago
Alternatives and similar repositories for turtles:
Users that are interested in turtles are comparing it to the libraries listed below
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 7 years ago
- Prisoner's Dilemma game engine implemented using Cats Free Monad and Freestyle☆39Updated 7 years ago
- Demo code for my Scala Exchange workshop "Whirlwind Tour of Akka Typed"☆25Updated 4 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 2 months ago
- WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!☆37Updated 3 weeks ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 9 months ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Updated 4 years ago
- Over-Complicated Database Query using higher-kinded data☆35Updated 4 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- Library to support automatic labeling of ScalaCheck properties.☆69Updated 5 months ago
- Monadic folds☆69Updated 2 years ago
- TypeLevel Programming in Scala☆16Updated 8 years ago
- Type calculations at compile time☆40Updated 5 years ago
- Stuff that could've been made into a blog if I wasn't too lazy☆19Updated 3 years ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆42Updated 4 years ago
- ☆25Updated 4 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
- An extension to the amazing Spark framework for better functional programming.☆28Updated 8 years ago
- Simple encoding of refinement types in Scala 3☆25Updated 10 months ago
- ☆33Updated 5 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- Some bifunctor IO type classes☆22Updated 4 years ago
- A type-parametric unboxed Option type for Scala☆61Updated 3 years ago
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- One enum type class to rule them all☆28Updated this week
- Replacing Akka Actors with Cats Effect and FS2☆43Updated 5 years ago
- Pure-functional random value generation☆118Updated 7 years ago
- Abstract Type Member Parallel Instances☆61Updated 4 years ago
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆47Updated 8 months ago