noelwelsh / church-and-state
Unifying Church and State
☆22Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for church-and-state
- Cats Bifunctor IO☆79Updated 5 years ago
- Workshop on typeclasses in scala☆26Updated 7 years ago
- Transform and compose tagless final encoded algebras in scala☆96Updated 6 years ago
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Updated 6 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- Static annotations for Kittens for people who don't like to write semiautomatic derivations into companion objects themselves.☆42Updated 3 years ago
- Totalitarian: typesafe data structures for working with total functions☆49Updated 5 years ago
- Comparison between different patterns☆27Updated 7 years ago
- Middle layer between JavaBeans and shapeless☆46Updated this week
- Scala Library for transforming subsets of values within a functor.☆18Updated 2 years ago
- Provides a functional API for tracing programs across system and network boundaries.☆62Updated 4 months ago
- A type-parametric unboxed Option type for Scala☆60Updated 3 years ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Updated last year
- A scala macro for reasonable lazy semantics☆84Updated 2 weeks ago
- Forget your methods☆41Updated 6 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆42Updated 9 years ago
- Typeclass-based HashSet/HashMap for Scala☆31Updated 7 years ago
- A tiny and principled library for type-safe IDs☆30Updated 5 years ago
- Abstract Type Member Parallel Instances☆62Updated 4 years ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆54Updated 9 years ago
- Deal with failures☆38Updated 5 years ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 4 years ago
- Scalameta tutorial☆70Updated 3 years ago
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 7 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- IO types and classes for Scala.☆42Updated 7 years ago
- A monad for resource acquisition and cleanup☆54Updated 6 years ago
- ☆46Updated 4 years ago
- Everything you need to make type classes first class.☆61Updated 8 years ago
- Integration between jawn and fs2☆38Updated last week