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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A minimal external search DSL that compiles to Scala☆12Feb 22, 2021Updated 5 years ago
- Working with XML in Scala☆23Feb 11, 2025Updated last year
- Authorization server written in Go☆83Apr 9, 2018Updated 8 years ago
- A minimalist DB migration manager.☆20Apr 28, 2024Updated 2 years ago
- ☆30May 25, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Intel/NVIDIA GPU Switch☆17Dec 22, 2022Updated 3 years ago
- Error handling made precise. Because error handling belongs in the types.☆27Jun 4, 2024Updated 2 years ago
- Type-safe Scala DSL for building criteria and predicate expressions across data stores via type classes.☆21Mar 24, 2026Updated 2 months ago
- Type safety for spark columns☆79Oct 27, 2025Updated 7 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☆14May 10, 2026Updated last month
- ☆10Jun 11, 2023Updated 3 years ago
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Mar 3, 2023Updated 3 years ago
- Purely functional testing in Scala☆28May 8, 2018Updated 8 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 4 years ago
- ☆10Apr 13, 2017Updated 9 years ago
- My talks☆10Dec 11, 2024Updated last year
- Learn Kyo with simple exercises!☆13Aug 25, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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/☆13Jun 16, 2024Updated last year
- Hexagonal and beyod in kotlin experimentation☆11Jun 15, 2020Updated 5 years ago
- Scala.js wrapper of http://material-ui.com for use with https://github.com/japgolly/scalajs-react☆30Nov 21, 2024Updated last year
- Simple game implemented in clojure☆14Mar 2, 2012Updated 14 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
- POC problems and template for full stack scala☆14Feb 28, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A collection of the talks I’ve given in the past.☆11Sep 11, 2025Updated 9 months ago
- Configured derivation library for scala 3☆36Sep 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☆38Nov 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