refinement-types topic

Refined types

mrkkrp

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

life4

A safe, easy systems language

jfecher

Strong type constraints for Scala

Iltotore

Liquid Types For Haskell

ucsd-progsys

Refinement types for Scala

fthomas

Phantom types for Python.

antonagestam

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

vivri

Port of Scala/Haskell Refined library to Idris

sigma-andex

Play JSON Reads/Writes instances for refined types

avdv