GitHub repository: FrankBro/Gradualizer
Primary language: Erlang
Description: A Gradual type system for Erlang