tpolecat / turtlesLinks
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
Sorting:
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated 2 years ago
- Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes☆32Updated 7 years ago
- Additional rules for Scalafix. The part of scalazzi rules.☆33Updated 2 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 11 months ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆16Updated 7 years ago
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 8 years ago
- ☆30Updated 5 years ago
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- ☆25Updated 4 years ago
- Type calculations at compile time☆40Updated 5 years ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- skema morphisms☆89Updated last week
- Unique Functional Values for Scala☆17Updated 9 months ago
- STM monad for cats-effect☆37Updated 6 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Updated 4 years ago
- Experiments with symbolic functions in the Scala type system☆27Updated 6 years ago
- A type-parametric unboxed Option type for Scala☆64Updated 3 years ago
- Compiling an example http4s web service to a native executable using GraalVM Native Image☆29Updated 5 years ago
- A recursion schemes micro-library☆21Updated 4 years ago
- Library to support automatic labeling of ScalaCheck properties.☆68Updated 7 months ago
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 4 months ago
- A high-performance, purely-functional library for reactive programming based on efficient incremental computation☆24Updated 6 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 3 years ago
- opentracing for pure applications☆17Updated 6 years ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Updated 2 years ago
- Tesiting Various Dotty Features☆16Updated 4 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Demo code for my Scala Exchange workshop "Whirlwind Tour of Akka Typed"☆25Updated 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 6 years ago