tonivade/purefun

Functional Programming library for Java

Language: Java - Size: 5.34 MB - Last synced at: about 8 hours ago - Pushed at: about 8 hours ago - Stars: 132 - Forks: 4

higherkindness/mu-scala

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

Language: Scala - Size: 7.57 MB - Last synced at: about 10 hours ago - Pushed at: about 11 hours ago - Stars: 330 - Forks: 34

kubukoz/spotify-next

Small CLI app for filtering out music on Spotify.

Language: Scala - Size: 809 KB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 46 - Forks: 11

evolution-gaming/cats-helper

Helpers for cats & cats-effect

Language: Scala - Size: 518 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 51 - Forks: 19

laserdisc-io/log-effect

A simple macro-less logging typeclass with some common backends

Language: Scala - Size: 871 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 23 - Forks: 4

bow-swift/bow

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

Language: Swift - Size: 726 MB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 651 - Forks: 33

etorres/train-station

Train Station

Language: Scala - Size: 856 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 1

gvolpe/pfps-shopping-cart

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

Language: Scala - Size: 1.63 MB - Last synced at: 7 days ago - Pushed at: 23 days ago - Stars: 538 - Forks: 169

frees-io/freestyle

A cohesive & pragmatic framework of FP centric Scala libraries

Language: Scala - Size: 8.53 MB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 614 - Forks: 50

tofu-tf/tofu

Functional programming toolbox

Language: Scala - Size: 24.8 MB - Last synced at: 8 days ago - Pushed at: 26 days ago - Stars: 543 - Forks: 95

7mind/distage-example

Example project built using distage, tagless final, http4s, doobie and zio

Language: Scala - Size: 469 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 57 - Forks: 12

kevin-lee/logger-f

logger-f, Logger for F[_]

Language: Scala - Size: 5.01 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 10 - Forks: 0

YBogomolov/workshop-edsl-in-typescript 📦

Code template for workshop "Building eDSLs in functional TypeScript"

Language: TypeScript - Size: 141 KB - Last synced at: 3 days ago - Pushed at: about 4 years ago - Stars: 56 - Forks: 17

zsolt-donca/flink-alt

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

Language: Scala - Size: 164 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 7 - Forks: 2

kevin-lee/effectie

A Tool for FP Effect Libraries

Language: Scala - Size: 10.4 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 1

scalalandio/endpoints-transformer-library 📦

Opinionated Endpoints algebras extended with error algebra and using TTFI

Language: Scala - Size: 44.9 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

pauljamescleary/scala-pet-store

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

Language: Scala - Size: 1.3 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 1,068 - Forks: 213

lloydmeta/diesel

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

Language: Scala - Size: 114 KB - Last synced at: 20 days ago - Pushed at: almost 8 years ago - Stars: 111 - Forks: 7

siraben/hasktran

A compiler for FRACTRAN written in Haskell.

Language: Haskell - Size: 16.6 KB - Last synced at: 21 days ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1

endless4s/endless

endless is a library to build distributed systems in functional Scala using a pluggable runtime model

Language: Scala - Size: 15.5 MB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 99 - Forks: 11

evolution-gaming/stracer

Tools for tracing and span reporting

Language: Scala - Size: 267 KB - Last synced at: 23 days ago - Pushed at: 7 months ago - Stars: 6 - Forks: 4

tofu-tf/awesome-tagless-final

Curated list of TF related stuff

Size: 11.7 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 2

lhns/munit-tagless-final

Integration library for MUnit and any effect type via cats-effect

Language: Scala - Size: 215 KB - Last synced at: 19 days ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 2

johnspade/s10ns_bot

Subscription Management Telegram Bot

Language: Scala - Size: 583 KB - Last synced at: 3 days ago - Pushed at: 10 months ago - Stars: 10 - Forks: 1

ygunayer/scala3-tagless-final-hexagonal-monorepo

A monorepo for studying hexagonal architectures and effect systems in Scala 3

Language: Scala - Size: 16.6 KB - Last synced at: 11 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

mtumilowicz/scala-cats-tagless-final-http4s-middleware-workshop

Introduction to tagless final with cats and to http4s middleware.

Language: Scala - Size: 71.3 KB - Last synced at: 11 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

polytypic/rea-ml

Effectful OCaml with Objects and Variants

Language: OCaml - Size: 412 KB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 29 - Forks: 0

input-output-hk/ce-semantics-dsl

Denotational semantics for the masses

Language: Scala - Size: 1.54 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 2

amitayh/revent

Tiny & funcitonal event sourcing library for Scala

Language: Scala - Size: 43 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1

loverdos/ce-semantics-dsl Fork of input-output-hk/ce-semantics-dsl

Denotational semantics for the masses

Language: Scala - Size: 649 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

hermannhueck/tagless-final

tagless-final

Language: Scala - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0

eli-jordan/tagless-final-jam

Workshop On Tagless Final Interpreters

Language: Scala - Size: 28.3 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 39 - Forks: 8

calvinlfer/tagless-final-example

An example of how to create services using tagless final

Language: Scala - Size: 13.7 KB - Last synced at: about 4 hours ago - Pushed at: about 7 years ago - Stars: 25 - Forks: 4

kailuowang/mainecoon 📦

Transform and compose tagless final encoded algebras in scala

Language: Scala - Size: 2.62 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 96 - Forks: 8

fagossa/catlessfinal

tagless final with cats-effects

Language: Scala - Size: 71.3 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

radusw/scala-todolist

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

Language: Scala - Size: 25.4 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0

radusw/cities

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

Language: Scala - Size: 27.3 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 5 - Forks: 1

llfrometa89/testing-tagless-final-styles

Tagless Final pattern styles in scala

Language: Scala - Size: 33.2 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

bszwej/functional-movie-library

Movie library service written in a functional way using Typelevel stack.

Language: Scala - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 5 - Forks: 1

keilambda/fpts-tagless-final-todo

Tagless Final pattern demonstration with fp-ts

Language: TypeScript - Size: 60.5 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

IvanDyachenko/marketplace-scraper

Mar:cat2:place scraper

Language: Scala - Size: 897 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

ealyutikov/fp-petclinic

Simple Scala TF CRUD

Language: Scala - Size: 108 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

thobson/tagless-final-example

Simple example showing how to use the Tagless Final pattern to abstract over the effect

Language: Scala - Size: 10.7 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

VAlux/tf-todo

Simple REST ToDo list application backend, written with http4s in TF style

Language: Scala - Size: 134 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 1

burakkose/appointment-checker-telegram

Being an immigrant is difficult, auto appointment checker with telegram integration.

Language: Scala - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

rcapraro/shopping-cart

Shopping cart application in Scala

Language: Scala - Size: 40 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kklimexk/spark-playground

Repository for playing with spark

Language: Scala - Size: 778 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

Wone11/GeneratePDF

Language: Python - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

stormy-ua/tfModelServing4s

Reasonable API for serving TensorFlow models using Scala

Language: Scala - Size: 278 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 30 - Forks: 7

yoshiyoshifujii/scala-tagless-final-example

Language: Scala - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

nebtrx/akka-http-tagless-sample

Akka Http sample with Tagless Final

Language: Scala - Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

debasishg/frdomain-extras

Additional accompaniment to Functional and Reactive Domain Modeling

Language: Scala - Size: 266 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 107 - Forks: 25

radusw/tagless-free-monix-sample

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

Language: Scala - Size: 17.6 KB - Last synced at: 5 months ago - Pushed at: almost 8 years ago - Stars: 16 - Forks: 0

sungiant/zenith

:zap: Functional Scala HTTP server, client, and toolkit.

Language: Scala - Size: 174 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 15 - Forks: 2

miciek/free-prisoners

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

Language: Scala - Size: 203 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 38 - Forks: 6

wirthan/s3dsl

Tagless Final wrapper around a subset of aws-java-sdk-s3

Language: Scala - Size: 102 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 4

ocramz/tagless-staged

Notes from "Combinators for Impure yet Hygienic Code Generation"

Language: Haskell - Size: 11.7 KB - Last synced at: 25 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

dhoang-creator/TaglessFinalTesting

A demonstration of Functional Effectual Testing in the form of the Tagless Final Testing Pattern.

Language: Scala - Size: 94.7 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

singleton11/music-bot

Bot for creating paylists to music streaming apps

Language: Scala - Size: 50.8 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

iRevive/http4s-tagless-template.g8

Http4s tagless service template

Language: Scala - Size: 347 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

vpavkin/telegram-bot-fs2

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

Language: Scala - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 41 - Forks: 9

7mind/distage-livecode 📦

distage project livecoded at ScalaWAW

Language: Scala - Size: 118 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 7 - Forks: 2

LambdaFanatics/pure-cqrs-example

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

Language: Scala - Size: 159 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 3

VladKopanev/CITelegramBot

Telegram Bot For CI Notifications written In Scala 3

Language: Scala - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 1

monyedavid/toplT

Traffic Data Analytics

Language: Scala - Size: 147 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

Alex1005a/AppForManagers

App for managers and them workers on scala Play framework

Language: Scala - Size: 1.26 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

routis/jira-klient

Kotlin client for JIRA that uses arrow-kt

Language: Kotlin - Size: 64.5 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 1

giacomocavalieri/effects-introduction

Code with a simple introduction to some effect systems both in Scala and Haskell

Language: Scala - Size: 1.67 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

dagdelenmustafa/effectful-search-service

This project is an example application to demonstrate Cats-Effect integration with Elasticsearch.

Language: Scala - Size: 176 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

pravin-raha/todo-list

Simple todo app using FP

Language: Scala - Size: 55.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

pierrenodet/lunium

An attempt to do a zero dependency, tagless and bifunctor based library for WebDrivers 🌑

Language: Scala - Size: 1.21 MB - Last synced at: 14 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 3

m4lvin/modal-logic-final-embedding

Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html

Language: Haskell - Size: 1.95 KB - Last synced at: 28 days ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0

etorres/coffee-machine

The Coffee Machine kata in Scala with Cats

Language: Scala - Size: 53.7 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

dabliuw22/expression-problem-purescript

Language: PureScript - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

ratoshniuk/distage-sample

An example of usage the best DI framework ever

Language: Scala - Size: 43.9 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

CoolDalek/GitHelper

Copy of https://www.youtube.com/watch?v=pfqkQ4mwZFI in Scala.

Language: Scala - Size: 54.7 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

pravin-raha/maantrack

Simple task tracking application

Language: Scala - Size: 256 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

dabliuw22/fs2-kafka

Language: Scala - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

wg-romank/functional-programming-scala

Minimal example for Tagless Final along with accompanying blog post

Language: Scala - Size: 71.3 KB - Last synced at: 2 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

dabliuw22/prueba-s4n-scala

Language: Scala - Size: 138 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

kubukoz/swaggins

[retired] OpenAPI -> Scala model generator I wrote in 2018-2019.

Language: Scala - Size: 231 KB - Last synced at: 7 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

dabliuw22/scala-http4s

Language: Scala - Size: 220 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1

dabliuw22/tagless-final-dotty

Language: Scala - Size: 36.1 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

dabliuw22/tagless-final

Language: Scala - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

DmytroOrlov/scala-with-cats

Language: Scala - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

etorres/social-networking-kata-scala

The Social Networking Kata in Scala with Cats

Language: Scala - Size: 125 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

dabliuw22/kotlin-arrow

Language: Kotlin - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

johnspade/kinoposter-scala

Приложение для публикации описаний фильмов из БД в группе ВКонтакте

Language: Scala - Size: 10.7 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

arinal/forex-mtl

A local proxy for getting Currency Exchange Rates. Built with principled manner using Scala, tagless-final, and Typelevel stacks.

Language: Scala - Size: 91.8 KB - Last synced at: 5 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

GusevTimofey/encry-explorer-backend

Encry blockchain observer

Language: Scala - Size: 229 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

DmytroOrlov/akka-http-tagless-final

Language: Scala - Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 6 - Forks: 1

debian0501/practical_fp

Example project from the book Practical FP in Scala https://leanpub.com/pfp-scala

Language: Scala - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

navneetgupta/spotcap_assignment

Spotcap

Language: Scala - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

navneetgupta/travel_card

Oyster Card Sample application

Language: Scala - Size: 69.3 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

aoiroaoino/jsondsl

Tagless Final style of JSON DSL

Language: Scala - Size: 10.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1

petitviolet/scala_fp_layered

functional layered architecture implementation example

Language: Scala - Size: 86.9 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

acme-software/arangodb-scala-driver

Idiomatic Scala Driver for ArangoDB

Language: Scala - Size: 44.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

kubukoz/beckon

Language: Scala - Size: 7.81 KB - Last synced at: 7 days ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

anshulbajpai/learn-zio

A journey to learn https://github.com/scalaz/scalaz-zio

Language: Scala - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 1

leetoo/talks Fork of pocman/talks

Language: Scala - Size: 31.7 MB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0