Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
1stagram - Discover anyone's first Instagram post
Haskell - An advanced purely-functional programming language
Likecreeper - Randomly hit like on a friend's horrifyingly old Instagram
Isabelle - Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Flip - A seamless way to capture looping videos on mobile 🎬