Jenkins - Jenkins is an open-source continuous integration server with 300+ plugins to support all kinds of software development
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
CircleCI - CircleCI gives web developers powerful Continuous Integration and Deployment with easy setup and maintenance.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Travis CI - Focus on writing code. Let Travis CI take care of running your tests and deploying your apps.
Lean - Clean up your Live Photos