Sub-10-microsecond Haskell Sudoku solver implemented in hardware [pdf]
unsafeperform.io