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

Phantom types for Python.

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

coulomb: unit analysis for Scala

:gem: 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

An open-source toolkit for entropic data analysis

Implementing a domain model using functional programming in Scala.

Purescript refinement types with runtime checking

:tropical_drink: 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

No description provided.

A few extra tools

Automated case classes validation using refinement types and macros

newtype and refinement (refined) type for Scala 3

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

Proper types for your domain

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

This is refined redesign of the theme OceanKit. Supported files: *.js, *.html, *.css, *.jsx, *.json, *.md, and *.py

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

No description provided.

Une extension web pour rendre le système de filtres des animes pleinement fonctionnel sur Neko-Sama.fr

Cats effect Decline (Composable command-line parsing for Scala) example

Reference implementation of https://github.com/gothinkster/realworld using typelevel stack, refined and newtype

Refined support for Anorm

Similar to Refined GitHub, but for Ember websites.

[WIP] Scala FP bot deployed on k8s

Refinement types for Go