No Live Photos for Developers videos yet. You could help us improve this page by suggesting one.
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Live GIF - Convert live photos to GIF
Haskell - An advanced purely-functional programming language
Motion Stills by Google - Turn live photos into cinematic, beautiful GIFs
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Flip - A seamless way to capture looping videos on mobile 🎬