algorithm-w

There are 7 repositories under algorithm-w topic.

kekyo/TypeInferencer
Minimal type inference Algorithm W and Algorithm M in F#
Language:F#35 2 20
wdamron/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
Language:Go21 1 02
fxdpntthm/type-checker
Simple implementation of ST LC type checker in Haskell
Language:Haskell11 1 00
jaredly/algorithm-j
a typescript version
Language:TypeScript3 2 0
chrisnevers/type-inference
Implementation of Algorithm W
Language:OCaml2 2 0
developedby/algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
Language:Rust2 1 00
FrankBro/lambda-rs
Simple algorithm w type inference in rust
Language:Rust1 2 00