Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Asana - Asana project management is an effort to re-imagine how we work together, through modern productivity software. Fast and versatile, Asana helps individuals and groups get more done.
Haskell - An advanced purely-functional programming language
Wrike - Wrike is a flexible, scalable, and easy-to-use collaborative work management software that helps high-performance teams organize and accomplish their work. Try it now.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Basecamp - A simple and elegant project management system.