Kisses to Gitlab: https://gitlab.com/JasonHuZS/AlgDotCalculus.
A project that attempts to turn type inference rules in DOT calculus into algorithmic one