GitHub repository: shff/csharp-hindley-milner
Primary language: C#
Description: Implementation of the Hindley-Damas-Miner inference algorithm in C#. Based on Rob Smallshire's Python implementation.