refined
Here are 37 public repositories matching this topic...
Language:All
Sort:Most stars
🛒 The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
- Updated
Mar 5, 2025 - Scala
Phantom types for Python.
- Updated
Mar 1, 2025 - Python
🏮 Standalone examples shown in the book "Practical FP in Scala: A hands-on approach"
- Updated
Jul 6, 2022 - Scala
coulomb: unit analysis for Scala
- Updated
Sep 28, 2024 - Scala
💎 Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
- Updated
Jul 24, 2021 - Haskell
Implementing a domain model using functional programming in Scala.
- Updated
Nov 6, 2020 - Scala
Purescript refinement types with runtime checking
- Updated
Sep 17, 2022 - PureScript
An open-source toolkit for entropic data analysis
- Updated
Apr 26, 2024 - Julia
🍹 A browser extension that brings new GitHub features and experience.
- Updated
Aug 11, 2021 - JavaScript
Port of Scala/Haskell Refined library to Idris
- Updated
Apr 25, 2021 - Idris
- Updated
Oct 16, 2019 - Scala
A few extra tools
- Updated
May 20, 2024 - Scala
Automated case classes validation using refinement types and macros
- Updated
May 5, 2024 - Scala
Examples shown in my talk "Why types matter". See alsohttps://github.com/gvolpe/par-dual
- Updated
May 16, 2020 - Haskell
newtype and refinement (refined) type for Scala 3
- Updated
Mar 3, 2025 - Scala
Proper types for your domain
- Updated
Dec 24, 2023 - Kotlin
Movie library service written in a functional way using Typelevel stack.
- Updated
Apr 12, 2018 - Scala
Improve this page
Add a description, image, and links to therefined topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with therefined topic, visit your repo's landing page and select "manage topics."