Ecosyste.ms: Awesome

https://github.com/pauljamescleary/scala-pet-store

An implementation of the java pet store using FP techniques in scala

cats circe doobie example final finally-tagless http4s project reference rest rest-api sample scala tagless tagless-final typelevel

Last synced: 20 Dec 2024

https://github.com/gvolpe/pfps-shopping-cart

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

cats cats-effect finally-tagless fp fs2 functional-programming http4s newtypes refined skunk tagless tagless-final typeclass-derivation typeclasses

Last synced: 20 Dec 2024

https://github.com/kevin-lee/logger-f

logger-f, Logger for F[_]

finally-tagless fp functional-programming higher-kinded-types logger scala tagless tagless-final type-class typeclass

Last synced: 14 Oct 2024

https://github.com/kamirus/purescript-functional-concepts

Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings

church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses

Last synced: 21 Dec 2024

https://github.com/pomadchin/tagless-derivation

This project is an experimental playground to work on the cats-tagless macros migration to Scala 3.

functional-programming scala tagless

Last synced: 16 Nov 2024

https://github.com/gvolpe/tagless-final-demo

freestyle monads tagless tagless-final

Last synced: 07 Nov 2024