GitHub repository: ChrisPenner/mad-props
Primary language: Haskell
Description: Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.