- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A multilanguage conversion of Ekit Opensource Software1 weekly downloads
For Truly Distributed Systems1 weekly downloads
LibSonic is a library used in Genesis Sonic ROM modification. various data formats are supported, anywhere from a single color, to an entire level.
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.