algorithm-m

There are 0 repository under algorithm-m topic.

• kekyo / TypeInferencer

  Minimal type inference Algorithm W and Algorithm M in F#

  type-inferencealgorithm-walgorithm-mfunctionalastfsharp
  Language:F# 33

• fxdpntthm / type-checker

  Simple implementation of ST LC type checker in Haskell

  algorithm-malgorithm-whaskelllambda-calculustype-system
  Language:Haskell 8

• MrHuggs / Knuth_DancingLinks

  Implements "Algorithm M: Covering with Multiplicities and Colors."

  algorithm-mknuthmcccovering-with-multiplicities-and-colorsknuth-volume-4b
  Language:C++ 0