refined-types

There are 11 repositories under refined-types topic.

antonagestam/phantom-types
Phantom types for Python.
Language:Python199 5 679
kevin-lee/refined4s
newtype and refinement (refined) type for Scala 3
Language:Scala10 3 1272
mtumilowicz/scala-zio2-fs2-refined-newtype-workshop
Introduction into fs2, newtype and refined types.
Language:Scala3 2 01
programaker/Spotification
Experiments with Spotify API
Language:Scala2 2 100
programaker/Octogato
Using Scala to consume Github API
Language:Scala1 1 1
propensive/cardinality
Dependently-typed range-checked numbers for Scala
Language:Scala1 3 3
kubum/liquid-cuckoo-filter
An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings
Language:Haskell0 1 00
RemiBardon/swift-prefixed-type
A type-safe, Codable struct for prefixed types
Language:Swift0 1 00
a-nigredo/misc
Language:Scala2 0
hermannhueck/exploring-refined-types
Exploring Refined Types
Language:Scala2 0
tbidne/refined-extras
Extra functionality for Haskell refined types.
Language:Haskell