ManageEngine's Applications Manager is a comprehensive monitoring tool for business organizations across the world to ensure uninterrupted business operations and profitability. Globally, IT admins across 100+ countries trust Applications Manager's capability in tackling critical issues and ensuring maximum efficiency among business critical servers. It is easy to use and supports a wide range of servers. Download now for a 30 day free trial.Advertisement
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
For Truly Distributed Systems1 weekly downloads
A multilanguage conversion of Ekit Opensource Software
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.