Polonious is an ISO27001 certified secure, extremely flexible and highly configurable investigation workflow solution.
Trusted by investigation teams around the world
The system includes features such as process centrism, workload management, reporting, dynamic dashboards, case reports, integrations and more. With our process and compliance focus, you can ensure your investigations are fully compliant with applicable regulations, with minimal extra effort or stress.
Learn More
Connect your teams with an integrated digital workplace
Wherever your teams work, keep them connected with a digital workplace that unifies all your productivity tools in one central place
Claromentis provides a reliable and feature-rich business intranet software for modern organizations. Offering collaborative, social, knowledge-sharing, and enterprise-level applications, Claromentis' intranet platform enables businesses to enjoy greater productivity, collaboration, and security. Claromentis' intranet software can be deployed on-premise, in the cloud, or on a company's data center. It can also be customized to meet unique business needs through the addition of modules.
Saros brings multi-writer synchronous distributed editing to the Eclipse IDE, e.g. for joint code reviews, explaining code remotely, or distributed pair programming -- all also for more than 2 participants; we call this Distributed Party Programming. It includes refined awareness functionality, text chat, and a simple distributed whiteboard/sketching facility.
Eclipse Update Site: https://www.saros-project.org/update-site/eclipse
Compile and run Java programs without using command mode!
Dude is a small simple development environment written in Java which allows you to compile and run Java programs without using the command window. It is platform independent and open source. Dude is easy to set up and uses the same directory structure for source and object files.
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.
A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.