Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Gumshoe - The first shoe made from chewing gum
Haskell - An advanced purely-functional programming language
Flip - A seamless way to capture looping videos on mobile 🎬
Isabelle - Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Layout by Instagram - Combine multiple photos into a single image