GitHub repository: kekyo/TypeInferencer
Primary language: F#
Description: Algorithm W and Algorithm M in F#