refinement-types
Here are 38 public repositories matching this topic...
A safe, easy systems language
-
Updated
Aug 11, 2024 - Rust
Strong type constraints for Scala
-
Updated
Oct 14, 2024 - Scala
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
-
Updated
Mar 24, 2024 - Python
Phantom types for Python.
-
Updated
Nov 2, 2024 - Python
Play JSON Reads/Writes instances for refined types
-
Updated
Oct 27, 2024 - Scala
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
-
Updated
Nov 14, 2020 - Scala
Large Scale Type Systems (programming language)
-
Updated
Oct 3, 2024 - Rust
Port of Scala/Haskell Refined library to Idris
-
Updated
Apr 25, 2021 - Idris
newtype and refinement (refined) type for Scala 3
-
Updated
Nov 2, 2024 - Scala
Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.
-
Updated
Apr 10, 2024 - Scala
Proper types for your domain
-
Updated
Dec 24, 2023 - Kotlin
Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚
-
Updated
Oct 18, 2020 - OCaml
Prototype functional programming language with refinement types, powered by Inox
-
Updated
Jun 13, 2018 - Scala
Hiccup-inspired DSL implementation of refinement types for validating JSON data.
-
Updated
Feb 11, 2020 - Clojure
Introductory Tutorial on Refinement Types
-
Updated
Jun 5, 2021 - JavaScript
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."