Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Thunderbird - Thunderbird is a free email application that's easy to set up and customize - and it's loaded with great features!
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Microsoft Outlook - Organize your world. Outlook’s email and calendar tools help you communicate, stay on top of what matters, and get things done.
Lean - Clean up your Live Photos
eM Client - eM Client is a fully-featured email client for Windows and macOS with a clean and easy-to-use interface. eM Client also offers features for calendars, tasks, contacts, notes, and chat.