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
InEight is a leader in construction project controls software
InEight serves contractors, owners, and engineers in capital construction
Minimize risks, gain operational efficiency, control project costs, and make confident, informed decisions. InEight software has your back during every stage of construction, from accurate pre-planning to predictable execution and completion. When project teams collaborate effectively, every decision is backed by precise, authoritative insights.
Twisted Storage is open source software that converts any number of storage systems, legacy or green-field, into a single petabyte-scale cloud. A Twisted Storage cloud is ideal for unstructured data, digital media storage, and archiving
ECHO DEPository is a digital preservation research/development project at the Univ. of Ill. Urbana-Champaign in partnership with OCLC and funded by Library of Congress under their National Digital Information Infrastructure Preservation Program (NDIIPP).
Backup P2P is a peer to peer application doing automated and secured backups inside a community (Jabber, XMPP). Each user shares some available space on his disk with others, to be able in return to remotely backup some of his own data.
jBackup Framework is very simple and easy to use framework build in Java, which enables developers to create applications that can backup, restore, update, remove, track changes to files, schedules jobs for execution and other useful stuff.
Teradata VantageCloud Enterprise is a data analytics platform for performing advanced analytics on AWS, Azure, and Google Cloud.
Power faster innovation with Teradata VantageCloud
VantageCloud is the complete cloud analytics and data platform, delivering harmonized data and Trusted AI for all. Built for performance, flexibility, and openness, VantageCloud enables organizations to unify diverse data sources, run complex analytics, and deploy AI models—all within a single, scalable platform.
The Business Continuity Visualization Toolkit assists in the assessment of Business Continuity projects and helps to translate dry technical relationships into colorful pictures suitable for management presentations and board decisions.
Audio File Name Fixer is a utility written in python to change the file names of your audio files to match what is in the ID3 tags. Useful for fixing names of files copied directly from an iPod.
Potrero is an open source Java library that streamlines programming by automatically managing data. Because Potrero decides where to store data and what to call it, it frees developers to focus on their applications, not storage management.
A simple software to extract any valid DBPF file, normally they have package extension.
This software extracts DBPF files from any The Sims 2, The Sims Stories, The Sims 3 and Spore using command line and has XML support for other softwares.
To create a virtual storage reference that facilitates sharing, archiving, backup/restoring. LastDrive will keep the orginal files and storage device intact, and will not cache/store physical files within its repository.
SecureJDMS is the attempt to develop a secure DMS, based on an RCP and (even untrusted) DB for datastorage. For now, its all about managing scanned documents and searching them by content (using OCR). All data sent and stored will be strongly encrypted.
Saturn disk image is a tool for working with disk images (".iso" files). Saturn provides a graphical user interface, a dotNET component library, and a NAnt task, enabling software engineers to create disk images from build scripts.
Carbon Copy is a cross-platform backup tool written purely using the .NET framework, which has a user-friendly GUI interface, and allows either for incremental or synchronized backups from source location(s) to a destination location.
The sourcecode is hosted at github:
https://github.com/jez9999/gooeycarboncopy
Ximinez was designed to solve disk usage problems like: "Why is my disk suddenly so full when it was OK just recently?". With Ximinez you can compare an old usage snapshot with a current one and this way quickly find where all those missing GBytes went.
N-way Folder Diff is a simple, platform independent tool to compare multiple folders. It differs from usual diff tools because it is possible to do n-way (upto 10 way) diff as compared to the usual 2-way diff.
Chestnut package manager is a utility to handle executables and resource files in a transparent, platform independent and relocatable way. Its concept is similar to Apple bundles and Java archives.
Yahoo Group Message Archiver (YGMA) is a Java (jre/sdk 5.0) library and tools for extracting messages from a Yahoo! Group and processing them into maildir format. It supports login to non-public groups.