Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Lively - Make GIF and short movies from your live photos.
Haskell - An advanced purely-functional programming language
Flip - A seamless way to capture looping videos on mobile 🎬
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
GIF Brewery by Gfycat - Create stunning GIFs from videos & screen recording for free