Lemmachine is a REST'ful web framework written in Agda http://github.com/larrytheliquid/Lemmachine