Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
ExitLag - There is a world without lags, freezes or loss of data packets. This world is called ExitLag! Get a free trial. Play better who plays with ExitLag!
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
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!
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.