Free GIF Maker - Make GIF from Screen, Video Files and Online Video
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
GIF Maker - GIF Editor - GIF Maker by Kayak Studio is an easy way to create GIF from your video, multi images.
Haskell - An advanced purely-functional programming language
GIF Brewery by Gfycat - Create stunning GIFs from videos & screen recording for free
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...