How could I forget Serokell, too! An Estonian software development firm that uses Haskell and Nix as basic building blocks.

I think they were using Agda or something too for a while, but it appears I can't find what I'm thinking of on their site anymore. Really interesting guys if you're located in the Baltic states.