Lot is a work-in-progress on a constraint based spreadsheet, implemented in Elm, as part of my BSc thesis on TU Vienna. When it grows up it should be able to solve Sudokus.

You can see the latest version in action at http://try-lot.appspot.com/