Graphical frontend for the Coq formal proof management system
Learn more
Dock for the masses
Connect to captive network portals
Take photos and record videos with your webcam
Check folder sizes and available disk space
