refined

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

🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"

Phantom types for Python.

coulomb: unit analysis for Scala

💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

explore kafka, spark, fs2 and pure functional programming in scala

Implementing a domain model using functional programming in Scala.

Purescript refinement types with runtime checking

support for using refinement types with slick

🍹 A browser extension that brings new GitHub features and experience.

Port of Scala/Haskell Refined library to Idris

Automated case classes validation using refinement types and macros

An open-source toolkit for entropic time series analysis

A few extra tools

Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual

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

Create a fast HTTP server through the http4s library

scala 3 & zio 2 & cats & http4s & doobie & circe & tapir & refined | simple crud app

🏷 Make your GitLab experience better! read-only mirror from https://gitlab.com/kiprasmel/refined-gitlab