refinement-types
Here are 13 public repositories matching this topic...
Strong type constraints for Scala
-
Updated
Sep 20, 2024 - Scala
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Nov 14, 2020 - Scala
Play JSON Reads/Writes instances for refined types
-
Updated
Sep 22, 2024 - Scala
newtype and refinement (refined) type for Scala 3
-
Updated
Sep 3, 2024 - Scala
Prototype functional programming language with refinement types, powered by Inox
-
Updated
Jun 13, 2018 - Scala
Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.
-
Updated
Apr 10, 2024 - Scala
Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)
-
Updated
Jun 2, 2021 - Scala
No-macro, no-reflection, opinionated type refinement library for Scala 3
-
Updated
Sep 26, 2024 - Scala
Implementation of a language with Refinement Types
-
Updated
Sep 6, 2024 - Scala
-
Updated
Jan 30, 2019 - Scala
Improve this page
Add a description, image, and links to the refinement-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the refinement-types topic, visit your repo's landing page and select "manage topics."