GitHub topics: algorithm-m
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
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
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: over 2 years ago - Stars: 0 - Forks: 0
