Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Business password and access manager solution for IT security teams
Simplify Access, Secure Your Business
European businesses use Uniqkey to simplify password management, reclaim IT control and reduce password-based cyber risk. All in one super easy-to-use tool.
JaguiD is a Java GUI for DOS. It consists of several sub-projects including a Java Compiler, a Class Runner and a Jar Packager. JaguiD has limited Java support to provide a Graphical User Interface for DOS and compatibles.
Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.
JDistro is a project to build a java distribution. The main sub-projects are an application launcher, a swing desktop with document management and an access to remote applications.
DataHub is the leading open-source data catalog helping teams discover, understand, and govern their data assets.
Modern Data Catalog and Metadata Platform
Built on an open source foundation with a thriving community of 13,000+ members, DataHub gives you unmatched flexibility to customize and extend without vendor lock-in. DataHub Cloud is a modern metadata platform with REST and GraphQL APIs that optimize performance for complex queries, essential for AI-ready data management and ML lifecycle support.
FreeBSD Control Center is a tool that provides a graphical environment for configuration, tuning and making services available in an few clicks of the mouse.
Multisetup is a networking application server that provides a multiple os, thin (multimedia) client based, legacy device friendly environment for home networks. Its an alternative to single OS networks and XP Media Center.