Phantom types for Python.

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

newtype and refinement (refined) type for Scala 3

Introduction into fs2, newtype and refined types.

Experiments with Spotify API

Using Scala to consume Github API

Dependently-typed range-checked numbers for Scala

Exploring Refined Types

Extra functionality for Haskell refined types.

An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings

A type-safe, Codable struct for prefixed types