GitHub repository: Cado-Labs/smart_types
Primary language: Ruby
Description: A set of objects that acts like types (type checking and type casting) with a support for basic type algebra (https://github.com/smart-rb)