Safe---Certified-TicTacToe-API is a project mainly written in Haskell, it's free.

A ype safe and certified implmentation of a TicTacToe API in Agda inspired by a blog post by Tony Morris