A safe, easy systems language

• UpdatedMar 29, 2025
• Rust

Refinement types for Scala

• UpdatedMar 17, 2025
• Scala

Liquid Types For Haskell

• UpdatedMar 29, 2025
• Haskell

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

• UpdatedMar 2, 2025
• Python

Refinement Types for Rust

• UpdatedMar 29, 2025
• Rust

Strong type constraints for Scala

• UpdatedMar 26, 2025
• Scala

Phantom types for Python.

• UpdatedMar 1, 2025
• Python

Large Scale Type Systems (programming language)

• UpdatedJan 22, 2025

Programming is an exercise in linguistics; spice-up Scala types with Adjective.

• UpdatedNov 14, 2020
• Scala

`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.

• UpdatedNov 25, 2024
• Rust

Refined types

• UpdatedSep 25, 2018
• Haskell

Play JSON Reads/Writes instances for refined types

• UpdatedMar 17, 2025
• Scala

Port of Scala/Haskell Refined library to Idris

• UpdatedApr 25, 2021
• Idris

Simple Refinement types for F#. No longer maintained.

• UpdatedJun 22, 2019
• F#

newtype and refinement (refined) type for Scala 3

• UpdatedMar 24, 2025
• Scala

Refinement types encoded with private types in OCaml. 🙄 🐫 🔬 📚

• UpdatedOct 18, 2020
• OCaml

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

• UpdatedMay 16, 2020
• Haskell

Refinement types for Python

• UpdatedOct 4, 2021
• Python

Proper types for your domain

• UpdatedDec 24, 2023
• Kotlin

Introductory Tutorial on Refinement Types

• UpdatedJun 5, 2021
• JavaScript