#

tagless-final

Here are 94 public repositories matching this topic...

arrow-kt / arrow

Star

Λ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 Oct 13, 2020
Shell

pauljamescleary / scala-pet-store

Star

Open

Use `requests.request(params=xxx)` for python client

pauljamescleary commented Dec 7, 2018

Currently, we manually append the params to the url / query string using urljoin. Instead, we can send the query params in as a dictionary

Read more

good first issue help wanted

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

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 hacktoberfest mtl tagless-final declarative-programming

Updated Nov 9, 2020
Swift

mu-scala

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 Nov 7, 2020
Scala

tofu

TinkoffCreditSystems / tofu

Star

Open

Need interop with cats-mtl

3

catostrophe commented Oct 23, 2020

Some libs depend on cats-mtl typeclasses. It would be great to provide a module with conversions from tofu typeclasses to cats-mtl.

Read more

good first issue hacktoberfest

Open

Create front page

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

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

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

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 Nov 9, 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

7mind / distage-example

Star

Open

Add native-image example

pshirshov opened Sep 17, 2020

good first issue help wanted

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 Aug 11, 2020
TypeScript

calvinlfer / tagless-final-example

Star

An example of how to create services using tagless final

scala monad tagless-final

Updated Jan 31, 2018
Scala

kubukoz / spotify-next

Star

Open

Show version on REPL startup

kubukoz commented Jan 3, 2020

Use sbt-buildinfo and/or sbt-dynver.

Read more

good first issue

Open

`drop` removes all occurrences of current song, but it should delete only the current one

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 Nov 9, 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

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

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

DmytroOrlov / akka-http-tagless-final

Star

akka-http circe zio tagless-final

Updated Oct 4, 2019
Scala

amitayh / revent

Star

Tiny & funcitonal event sourcing library for Scala

scala cqrs functional-programming event-sourcing tagless-final

Updated Jan 16, 2018
Scala

evolution-gaming / cats-helper

Star

Helpers for cats & cats-effect

cats scala tagless-final cats-effect

Updated Nov 9, 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 Oct 21, 2020
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."

You can’t perform that action at this time.