tagless

There are 0 repository under tagless topic.

pauljamescleary / scala-pet-store
An implementation of the java pet store using FP techniques in scala
scala tagless-final reference circe http4s rest doobie typelevel rest-api cats tagless final finally-tagless example sample project
Language:Scala 1055
gvolpe / pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
functional-programming fp cats cats-effect http4s fs2 skunk refined newtypes tagless-final finally-tagless tagless typeclass-derivation typeclasses
Language:Scala 519
typelevel / cats-tagless
Library of utilities for tagless final encoded algebras
tagless scala functional-programming
Language:Scala 303
kailuowang / mainecoon
Transform and compose tagless final encoded algebras in scala
final functional-programming metaprogramming scala tagless tagless-final
Language:Scala 96
endless
endless4s / endless
endless is a library to build distributed systems in functional Scala using a pluggable runtime model
scala functional-programming actors akka akka-cluster akka-actors cqrs event-sourcing tagless tagless-final algebra
Language:Scala 95
biboudis / streamalg
Extensible stream pipelines with object algebras.
pipeline java streams benchmark extensible-pipelines iteration dsl tagless
Language:Java 26
kevin-lee / logger-f
logger-f, Logger for F[_]
scala functional-programming fp logger tagless tagless-final finally-tagless higher-kinded-types typeclass type-class
Language:Scala 10
hermannhueck / tagless-final
tagless-final
adt algebra final haskell java scala tagless tagless-final
Language:Scala 5
Kamirus / purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
gadt leibniz-equality gadts eadt church-encoding exists higher-order-functions typeclasses row-polymorphism tagless
Language:PureScript 4
iRevive / http4s-tagless-example
The HTTP service built on top of typelevel stack: cats-effect, http4s
scala http4s cats-effect tagless
Language:Scala 1
pomadchin / tagless-derivation
This project is an experimental playground to work on the cats-tagless macros migration to Scala 3.
functional-programming scala tagless
Language:Scala 1
gvolpe / tagless-final-demo
tagless-final tagless freestyle monads
Language:Scala