Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
PuTTY - Popular free terminal application. Mostly used as an SSH client.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
MobaXterm - Enhanced terminal for Windows with X11 server, tabbed SSH client, network tools and much more
Lean - Clean up your Live Photos
iTerm2 - A terminal emulator for macOS that does amazing things.