Projects in Awesome Lists tagged with algorithm-j
A curated list of projects in awesome lists tagged with algorithm-j .
https://github.com/jaredly/algorithm-j
a typescript version
algorithm-j algorithm-w hindley-milner inference-algorithms type-inference
Last synced: 27 Jun 2025
https://github.com/jakobknauer/hindley-milner
An implementation of Algorithm J for type inference in the Hindley-Milner type system, written in Rust
algorithm-j hindley-milner type-inference
Last synced: 27 Jul 2025
