- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
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)
A multilanguage conversion of Ekit Opensource Software
Ninety percent of Fortune 500 companies trust the Microsoft Cloud, and so can you. Azure helps protect your assets through a rigorous methodology and focus on security, privacy, compliance, and transparency. Azure has been recognized as the most trusted cloud for U.S government institutions, including FedRAMP High authorization that covers 18 Azure services.Advertisement
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.
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.