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
Trello - Infinitely flexible. Incredibly easy to use. Great mobile apps. It's free. Trello keeps track of everything, from the big picture to the minute details.
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.