GitHub repository: kaitokimuraofficial/go_type_inference
Primary language: Go
Description: Type inference system written in Golang