- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Capstone disassembly engine3 weekly downloads
Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.
Open source CV (resume) format and APIs for recruiting industry and HR departments
Generic Optimization Library
abandoned project. No real need to do that.