tagless-final

Here are 86 public repositories matching this topic...

arrow-kt / arrow

Λrrow - Functional companion to Kotlin's Standard Library

kotlin monads functional-programming arrow kotlin-library category-theory recursion-schemes optics polymorphism typeclasses monad-transformers free-monads functional-data-structure continuations for-comprehension typed-lambda-calculus tagless-final fp-types typeclass-derivation delimited-continuations

Updated Aug 4, 2020
Shell

pauljamescleary / scala-pet-store

Star

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

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

Updated Aug 1, 2020
Scala

frees-io / freestyle

Star

A cohesive & pragmatic framework of FP centric Scala libraries

redis monads scala kafka spark cassandra functional-programming rpc architectural-patterns free-monads tagless-final freestyle

Updated Aug 13, 2019
Scala

bow-swift / bow

Star

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

swift swift-library functional-programming cocoapods carthage composition effects fp reactive-programming monad functor category-theory free-monad bow spm mtl tagless-final declarative-programming

Updated Aug 4, 2020
Swift

higherkindness / mu-scala

Star

Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

monads scala algebra functional-programming protocol rpc mu tagless-final

Updated Aug 3, 2020
Scala

TinkoffCreditSystems / tofu

Star

Functional programming toolbox https://tinkoffcreditsystems.github.io/tofu

config functional-programming logging effects concurrent optics typeclasses reader-monad tagless-final

Updated Aug 5, 2020
Scala

lloydmeta / diesel

Star

Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala

cats scala dsl macros scalaz scalameta tagless-final finally-tagless higher-kinded-types typed-final

Updated May 24, 2017
Scala

kailuowang / mainecoon

Star

Transform and compose tagless final encoded algebras in scala

scala functional-programming final metaprogramming tagless-final tagless

Updated Jul 17, 2018
Scala

debasishg / frdomain-extras

Star

Additional accompaniment to Functional and Reactive Domain Modeling

cats scala ddd domain-driven-design monix algebraic ddd-patterns ddd-architecture zio tagless-final

Updated Jun 29, 2020
Scala

eli-jordan / tagless-final-jam

Star

Workshop On Tagless Final Interpreters

cats scala tagless-final cats-effect

Updated May 5, 2019
Scala

miciek / free-prisoners

Star

Prisoner's Dilemma game engine implemented using Cats Free Monad and Freestyle

testing functional-programming free-monads software-architecture tagless-final freestyle

Updated Dec 14, 2017
Scala

vpavkin / telegram-bot-fs2

Star

Example telegram bot implementation using fs2 and http4s client (no akka)

scala telegram telegram-bot http4s fs2 tagless-final

Updated Jun 15, 2018
Scala

tonivade / purefun

Star

Functional Programming library for Java

java monads memoization stream experimental functional-programming tuples io-monad monad free-monad trampoline typeclasses monad-transformers immutable-collections zio mtl tagless-final higher-kinded-types

Updated Aug 5, 2020
Java

stormy-ua / tfModelServing4s

Star

Reasonable API for serving TensorFlow models using Scala

machine-learning scala tensorflow reasonable tagless-final serving

Updated Nov 2, 2017
Scala

calvinlfer / tagless-final-example

Star

An example of how to create services using tagless final

scala monad tagless-final

Updated Jan 31, 2018
Scala

7mind / distage-example

Star

Example project built with distage, tagless final and zio

tutorial scala patterns dependency-injection architecture fp tagless-final izumi distage

Updated Aug 5, 2020
Scala

YBogomolov / workshop-edsl-in-typescript

Star

Code template for workshop "Building eDSLs in functional TypeScript"

typescript workshop dsl edsl fp free-monad fp-ts tagless-final

Updated Jul 21, 2020
TypeScript

laserdisc-io / log-effect

Star

A simple macro-less logging typeclass with some common backends

cats scala functional-programming logging fs2 typeclass zio mtl tagless-final

Updated Aug 4, 2020
Scala

radusw / tagless-free-monix-sample

Star

A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad

cats free-monad monix specs2 scalacheck tagless-final

Updated May 20, 2017
Scala

kubukoz / spotify-next

Star

Small CLI app for filtering out music on Spotify.

cli spotify scala http4s decline tagless-final cats-effect cats-mtl cats-tagless

Updated Jul 16, 2020
Scala

sungiant / zenith

Star

⚡ Functional Scala HTTP server, client, and toolkit.

cats scala functional-programming http-client http-server simulacrum tagless-final

Updated Jun 27, 2020
Scala

LambdaFanatics / pure-cqrs-example

Star

An implementation of a CQRS/ES system using functional FP in scala.

cats scala cqrs functional-programming fs2 cqrs-es doobie tagless-final

Updated Mar 26, 2018
Scala

atapin / awesome-tagless-final

Star

Curated list of TF related stuff

haskell scala functional-programming tagless-final

Updated May 27, 2020

7mind / distage-livecode

Star

distage project livecoded at ScalaWAW

example dependency-injection http4s tagless-final bifunctor izumi

Updated Jul 15, 2020
Scala

DmytroOrlov / akka-http-tagless-final

Star

akka-http circe zio tagless-final

Updated Oct 4, 2019
Scala

radusw / scala-todolist

Star

Functional Scala Todo-List using doobie, flyway, circe, akka-http, monix

docker scala akka-http vuejs2 circe flyway monix sbt-docker doobie tagless-final scala-todolist

Updated Nov 24, 2018
Scala

evolution-gaming / cats-helper

Star

Helpers for cats & cats-effect

cats scala tagless-final cats-effect

Updated Aug 5, 2020
Scala

hermannhueck / tagless-final

Star

tagless-final

java haskell scala algebra final adt tagless-final tagless

Updated May 9, 2018
Scala

zsolt-donca / flink-alt

Star

An alternative minimalistic API for Flink based on cats typeclasses, with a reference in-memory implementation.

cats scala flink tagless-final flink-streaming

Updated Aug 27, 2019
Scala

radusw / cities

Star

Sample full-stack app / blueprint (Scala backend & Elm, Vue.js, Twirl frontends)

vuejs scala akka-http vue elm vuejs2 circe monix elm-lang twirl-templates twirl pureconfig tagless-final

Updated Jan 17, 2018
Scala

Improve this page

Add a description, image, and links to the tagless-final topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the tagless-final topic, visit your repo's landing page and select "manage topics."

Learn more