- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Capstone disassembly engine3 weekly downloads
Generic Optimization Library
Open source CV (resume) format and APIs for recruiting industry and HR departments
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.
abandoned project. No real need to do that.