GitHub - ruby/typeprof: An experimental type-level Ruby interpreter for testing and understanding Ruby code
An experimental type-level Ruby interpreter for testing and understanding Ruby code - ruby/typeprof