GitHub repository: Cado-Labs/smart_type-system
Primary language: Ruby
Description: (in active development) Abstract object-based TypeSystem interface with a support for various commonly used runtime-based type systems (smart-types, thy-types and others). Allows you to use any runtime type system in any Ruby project <easily> (https://github.com/smart-rb)