algorithm-m

There are 3 repositories under algorithm-m topic.

kekyo/TypeInferencer
Minimal type inference Algorithm W and Algorithm M in F#
Language:F#34 2 20
fxdpntthm/type-checker
Simple implementation of ST LC type checker in Haskell
Language:Haskell11 2 00
MrHuggs/Knuth_DancingLinks
Implements "Algorithm M: Covering with Multiplicities and Colors."
Language:C++0 1 00