ruby / typeprof Ruby 834 100 An experimental type-level Ruby interpreter for testing and understanding Ruby code