No Live Photos for Developers videos yet. You could help us improve this page by suggesting one.
Live GIF - Convert live photos to GIF
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
PHHHOTO App - PHHHOTO App is a free to use mobile application that allows the users to set frames to your videos and then share it with the others.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Layout by Instagram - Combine multiple photos into a single image
Lean - Clean up your Live Photos