GitHub repository: x-smasato/typeprof
Primary language: Ruby
Description: An experimental type-level Ruby interpreter for testing and understanding Ruby code