Projects in Awesome Lists tagged with algorithm-w
A curated list of projects in awesome lists tagged with algorithm-w .
https://github.com/kekyo/typeinferencer
Minimal type inference Algorithm W and Algorithm M in F#
algorithm-m algorithm-w ast fsharp functional type-inference
Last synced: 26 Mar 2025
https://github.com/wdamron/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
algorithm-w hindley-milner type-inference type-system type-theory
Last synced: 30 Apr 2025
https://github.com/jaredly/algorithm-j
a typescript version
algorithm-j algorithm-w hindley-milner inference-algorithms type-inference
Last synced: 20 Mar 2025
https://github.com/frankbro/lambda-rs
Simple algorithm w type inference in rust
Last synced: 23 Mar 2025
https://github.com/kraglik/type_inference
Algorithm W implementation
algorithm-w python type-inference
Last synced: 08 Apr 2025
https://github.com/developedby/algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
algorithm-w hindley-milner rust type-inference
Last synced: 20 Mar 2025
