Browse free open source Software Development software and projects for Mac and ChromeOS below. Use the toggles on the left to filter open source Software Development software by OS, license, language, programming language, and project status.
Compact/ Chess Interchange Format
proof verifier for mathematical proofs and documentation generator
A quick & dirty XUL / XBL prototyping editor for user interface.