Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
MobaXterm - Enhanced terminal for Windows with X11 server, tabbed SSH client, network tools and much more
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
KiTTY - KiTTY is a fork from version 0.70 of PuTTY. It adds extra features to PuTTY.
Lean - Clean up your Live Photos
ConEmu - ConEmu-Maximus5 is a full-featured local terminal for Windows devs, admins and users. Get better console window with tabs, splits, Quake style, copy+paste, DosBox and PuTTY integration, and much more.