🛒 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"
An open-source toolkit for entropic data analysis
Implementing a domain model using functional programming in Scala.
Purescript refinement types with runtime checking
🍹 A browser extension that brings new GitHub features and experience.
Port of Scala/Haskell Refined library to Idris
A few extra tools
newtype and refinement (refined) type for Scala 3
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
Proper types for your domain
🏷 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
To associate your repository with the refined topic, visit your repo's landing page and select "manage topics."