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

• UpdatedMar 5, 2025
• Scala

Phantom types for Python.

• UpdatedMar 1, 2025
• Python

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

• UpdatedJul 6, 2022
• Scala

coulomb: unit analysis for Scala

• UpdatedSep 28, 2024
• Scala

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

• UpdatedJul 24, 2021
• Haskell

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

• UpdatedMar 17, 2025
• Scala

Implementing a domain model using functional programming in Scala.

• UpdatedNov 6, 2020
• Scala

Purescript refinement types with runtime checking

• UpdatedSep 17, 2022
• PureScript

An open-source toolkit for entropic data analysis

• UpdatedApr 26, 2024
• Julia

support for using refinement types with slick

• UpdatedAug 12, 2024
• Scala

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

• UpdatedAug 11, 2021
• JavaScript

Port of Scala/Haskell Refined library to Idris

• UpdatedApr 25, 2021
• Idris

• UpdatedOct 16, 2019
• Scala

A few extra tools

• UpdatedMay 20, 2024
• Scala

Automated case classes validation using refinement types and macros

• UpdatedMay 5, 2024
• Scala

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

• UpdatedMay 16, 2020
• Haskell

newtype and refinement (refined) type for Scala 3

• UpdatedMar 3, 2025
• Scala

Proper types for your domain

• UpdatedDec 24, 2023
• Kotlin

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

• UpdatedMar 21, 2022
• Scala

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

• UpdatedApr 12, 2018
• Scala