GitHub topics: algorithm-m
kekyo/TypeInferencer
Minimal type inference Algorithm W and Algorithm M in F#
Language: F# - Size: 748 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 35 - Forks: 0
fxdpntthm/type-checker
Simple implementation of ST LC type checker in Haskell
Language: Haskell - Size: 75.2 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
MrHuggs/Knuth_DancingLinks
Implements "Algorithm M: Covering with Multiplicities and Colors."
Language: C++ - Size: 566 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
