GitHub repository: timholy/TypeCheck.jl
Primary language: Julia
Description: A TypeChecker for Julia