Star AlbumentationsX on GitHub — it powers this leaderboard

← Back to leaderboard

prakhar1989

type-inference

prakhar1989/type-inference

The Hindley Milner Type Inference Algorithm

376stars

Homepage View on GitHub

Forks

17

Open issues

5

Watchers

376

Size

0.0 MB

OCaml

Created: Apr 19, 2016

Updated: Dec 14, 2025

Last push: Dec 11, 2016