Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Razer Cortex - A free all-in-one software which gives you the best gaming experience, featuring best gaming deals, PC and Mobile Game Booster, and more!
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Kill Ping - Kill Ping is an online gaming application which reduces high ping and packet loss eliminating lag. Kill Ping is a fix for LoL lag, WoW lag, Dota 2 lag, CS:GO lag, Overwatch lag, Battleborn lag and Doom 4 lag etc.
Lean - Clean up your Live Photos
WTFast - Play any online game from anywhere with a smoother connection and lower ping time. wtfast gives your fave games a VIP connection. Free trial available, too.