There are 7 repositories under refinement-types topic.
Phantom types for Python.
Large Scale Type Systems (programming language)
Port of Scala/Haskell Refined library to Idris
Simple Refinement types for F#. No longer maintained.
Examples shown in my talk "Why types matter". See also https://github.com/gvolpe/par-dual
Refinement types encoded with private types in OCaml. :roll_eyes: :camel: :microscope: :books:
Introductory Tutorial on Refinement Types
Prototype functional programming language with refinement types, powered by Inox
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
Constrain or Compose on the fly your .NET Types.
Toy Scala project to study some cool Functional Programming concepts (version 1 was in Java)
Repository that explores the possibilities of Scala 3 features of opaque types and inline for type refinement.
A set of type providers for F# that aims to implement an approximation of refinement types.
No-macro, no-reflection, opinionated type refinement library for Scala 3
A refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions