A safe, easy systems language

• UpdatedDec 17, 2025
• Rust

Refinement types for Scala

• UpdatedDec 12, 2025
• Scala

Liquid Types For Haskell

• UpdatedDec 17, 2025
• Haskell

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

• UpdatedNov 30, 2025
• Python

Refinement Types for Rust

• UpdatedDec 17, 2025
• Rust

Strong type constraints for Scala

• UpdatedDec 16, 2025
• Scala

Phantom types for Python.

• UpdatedNov 9, 2025
• Python

Large Scale Type Systems: ML/C Hybrid Programming Language

• UpdatedAug 2, 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 20, 2025
• Rust

Refined types

• UpdatedSep 25, 2018
• Haskell

Play JSON Reads/Writes instances for refined types

• UpdatedDec 14, 2025
• Scala

Port of Scala/Haskell Refined library to Idris

• UpdatedApr 25, 2021
• Idris

newtype and refinement (refined) type for Scala 3

• UpdatedDec 15, 2025
• Scala

Simple Refinement types for F#. No longer maintained.

• UpdatedJun 22, 2019
• F#

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

• UpdatedOct 18, 2020
• OCaml

Refinement types for Python

• UpdatedOct 4, 2021
• Python

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

• UpdatedMay 16, 2020
• Haskell

Proper types for your domain

• UpdatedDec 24, 2023
• Kotlin

Introductory Tutorial on Refinement Types

• UpdatedJun 5, 2021
• JavaScript