Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with tagless-final

A curated list of projects in awesome lists tagged with tagless-final .

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/higherkindness/mu-scala

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

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

Last synced: 20 Dec 2024

https://higherkindness.github.io/mu/

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

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

Last synced: 15 Nov 2024

https://github.com/lloydmeta/diesel

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

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

Last synced: 27 Oct 2024

https://github.com/YBogomolov/workshop-edsl-in-typescript

Code template for workshop "Building eDSLs in functional TypeScript"

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

Last synced: 09 Nov 2024

https://github.com/evolution-gaming/cats-helper

Helpers for cats & cats-effect

cats cats-effect scala tagless-final

Last synced: 19 Dec 2024

https://github.com/kubukoz/spotify-next

Small CLI app for filtering out music on Spotify.

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

Last synced: 18 Nov 2024

https://github.com/calvinlfer/tagless-final-example

An example of how to create services using tagless final

monad scala tagless-final

Last synced: 10 Nov 2024

https://github.com/laserdisc-io/log-effect

A simple macro-less logging typeclass with some common backends

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

Last synced: 17 Nov 2024

https://github.com/siraben/hasktran

A compiler for FRACTRAN written in Haskell.

assembler compiler fractran haskell monad-transformers tagless-final

Last synced: 24 Oct 2024

https://github.com/evolution-gaming/stracer

Tools for tracing and span reporting

cats-effect jaeger kafka scala tagless-final thrift zipkin

Last synced: 29 Nov 2024

https://github.com/lhns/munit-tagless-final

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

cats cats-effect munit scala tagless-final testing

Last synced: 27 Oct 2024

https://github.com/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

interpreter logic modal-logic tagless-final

Last synced: 01 Dec 2024

https://github.com/pierrenodet/lunium

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

bifunctor cats cats-effect scala selenium tagless-final webdriver zio

Last synced: 11 Oct 2024

https://github.com/ocramz/tagless-staged

Notes from "Combinators for Impure yet Hygienic Code Generation"

generative-programming metaprogramming multi-stage-programming tagless-final

Last synced: 05 Dec 2024

https://github.com/scalalandio/endpoints-transformer-library

Opinionated Endpoints algebras extended with error algebra and using TTFI

akka-http endpoints mtl scala tagless-final

Last synced: 10 Nov 2024

https://github.com/kubukoz/swaggins

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

cats-effect codegen fs2 metaprogramming openapi scala tagless-final

Last synced: 21 Dec 2024

https://github.com/giacomocavalieri/effects-introduction

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

free-monads haskell scala tagless-final unison-language

Last synced: 14 Dec 2024

https://github.com/lloydmeta/kontext

Like `implicitly` but for _all_ context-bound typeclass instances, automatically.

context-bounds dsl implicit metaprogramming scala scalameta tagless-final

Last synced: 11 Nov 2024

https://github.com/kubukoz/classy-playground

A playground project for examples of using MTL with classy lenses

algebraic-effects cats cats-effect cats-mtl classy-lenses mtl tagless-final typelevel

Last synced: 21 Dec 2024