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

Phantom types for Python.

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

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

An open-source toolkit for entropic data analysis

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

support for using refinement types with slick

Port of Scala/Haskell Refined library to Idris

A few extra tools

Automated case classes validation using refinement types and macros

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

newtype and refinement (refined) type for Scala 3

Proper types for your domain

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

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