Introducing tagless-final in Scala with an example of Language-Integrated Query
☆18Sep 7, 2020Updated 5 years ago
Alternatives and similar repositories for tagless-final-tutorial
Users that are interested in tagless-final-tutorial are comparing it to the libraries listed below
Sorting:
- Working with XML in Scala☆23Feb 11, 2025Updated last year
- Authorization server written in Go☆83Apr 9, 2018Updated 7 years ago
- A minimalist DB migration manager.☆19Apr 28, 2024Updated last year
- ☆28Mar 9, 2026Updated last week
- Error handling made precise. Because error handling belongs in the types.☆27Jun 4, 2024Updated last year
- Criteria4s is a simple DSL to define criteria and predicate expressions for any data stores by using Scala type class mechanisms in a typ…☆21Dec 24, 2024Updated last year
- Type safety for spark columns☆79Oct 27, 2025Updated 4 months ago
- ☆18Jul 11, 2017Updated 8 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Generation of arbitrary case classes / ADTs instances with Scalaprops and Magnolia☆14Updated this week
- ☆10Jun 11, 2023Updated 2 years ago
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- ☆12Mar 3, 2023Updated 3 years ago
- Purely functional testing in Scala☆28May 8, 2018Updated 7 years ago
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 5 years ago
- ☆10Sep 5, 2018Updated 7 years ago
- ☆13Dec 21, 2016Updated 9 years ago
- simple static file server backed by http4s-ember.js☆12May 11, 2022Updated 3 years ago
- ☆10Apr 13, 2017Updated 8 years ago
- My talks☆10Dec 11, 2024Updated last year
- Learn Kyo with simple exercises!☆13Aug 25, 2025Updated 6 months ago
- Slides and code from the talk "Journey to Functional Programming", given at Wix Engineering Conference☆11Jul 23, 2017Updated 8 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- This repository contains code samples shared on https://dev.java/ and https://inside.java/☆14Jun 16, 2024Updated last year
- Hexagonal and beyod in kotlin experimentation☆11Jun 15, 2020Updated 5 years ago
- Simple game implemented in clojure☆14Mar 2, 2012Updated 14 years ago
- Scala.js wrapper of http://material-ui.com for use with https://github.com/japgolly/scalajs-react☆30Nov 21, 2024Updated last year
- Chat server using WebSockets and http4s☆10May 1, 2019Updated 6 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- Simple iOS app written in Swift using dependency injection and frameworks☆35Mar 5, 2019Updated 7 years ago
- sbt plugin for running JavaScript tests on the JVM with browser APIs☆13May 2, 2019Updated 6 years ago
- POC problems and template for full stack scala☆14Feb 28, 2024Updated 2 years ago
- A collection of the talks I’ve given in the past.☆11Sep 11, 2025Updated 6 months ago
- Configured derivation library for scala 3☆35Sep 11, 2024Updated last year
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 8 years ago
- Basic Concurrent Sudoku Solver implementations using Cats Effect and FS2☆10Dec 19, 2024Updated last year
- Minimal wrappers around Java 8 time for Scala☆37Nov 26, 2021Updated 4 years ago
- Simple app demonstrating web server that communicates with sql database using zio-sql library.☆14Feb 13, 2023Updated 3 years ago
- Java 8 tutorial. Exercises for practicing Stream API.☆12Oct 12, 2020Updated 5 years ago