GitHub topics: algorithm-w
wdamron/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
Language: Go - Size: 185 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 21 - Forks: 2
developedby/algorithm-w-rs
Simple implementation of Hindley-Milner type inference in Rust
Language: Rust - Size: 48.8 KB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0
jaredly/algorithm-j
a typescript version
Language: TypeScript - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
kekyo/TypeInferencer
Minimal type inference Algorithm W and Algorithm M in F#
Language: F# - Size: 748 KB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 34 - Forks: 0
FrankBro/lambda-rs
Simple algorithm w type inference in rust
Language: Rust - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
chrisnevers/type-inference
Implementation of Algorithm W
Language: OCaml - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
fxdpntthm/type-checker
Simple implementation of ST LC type checker in Haskell
Language: Haskell - Size: 75.2 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0
ayaskovets/typesystems
programming language type systems implemented in Rust
Language: Rust - Size: 102 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
