Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Layout by Instagram - Combine multiple photos into a single image
Haskell - An advanced purely-functional programming language
Copdate - Reserve a spot for limited sneakers at a local retailer
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Live GIF - Convert live photos to GIF