Silverware is built for hotel, resort, and multi-venue hospitality operators who need enterprise-grade control, deep integrations, and always-on reliability to run complex operations at scale.
Learn More
Securing the Cloud Made Easy
Multi-cloud security delivered — now and in the future.
Designed for organizations operating in the cloud who need complete, centralized visibility of their entire cloud estate and want more time and resources dedicated to remediating the actual risks that matter, Orca Security is an agentless cloud Security Platform that provides security teams with 100% coverage their entire cloud environment.
The Squidy Interaction Library eases the design of "post-WIMP" user interfaces by unifying various device drivers, frameworks and tracking toolkits in a common library and provides a central and easy-to-use visual design environment. www.squidy-lib.de
A comprehensive set of business functionality and patterns
The technology oriented frame-works provide solutions for a specific set of technical problems.BizSutras provides integrated implementation for all the identified business functions
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)
TreeDL (Tree Description Language) is a notation for tree structures used by programs (like syntax trees) and tool for translation of tree descriptions to target programming language, docs generation, etc. Tool's functionality can be extended by plugins.
A collaboration web site for software engineers to find and contribute code. The goal is to have users of the system to be able to not only get code from the system but also be able to update and fix specific code segments.
Excellent addition to any application, the ProjessUpdater Application Extension (PAE) can be applied to assist in end-user updates and downloads from a centralized location. The suite consists of an open-source client and a server.