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
BidJS enables online timed and webcast bidding on your own website.
For companies wishing to sell by auction
Bidlogix provide auction software to auction houses around the globe.
We offer timed auction software, webcast auction software along with an optional invoicing management system.
Our software is embedded on your site with fully customisable styling.
Based in Brighton, UK Bidlogix started providing auction software in 2013. Our 2 in-house development teams are constantly evolving the product with in excess of 10 auctions per day being run using our software.
Our software can cater for the largest of auctions, all in real-time and can support multiple languages.
This independent development (fork) of Areca Backup attempts to extend its lifespan by fixing bugs and adding some new features while keeping its simplicity.
Areca was originally developed by Olivier PETRUCCI (aventin): https://sourceforge.net/projects/areca/
...How long data should be retained and how many versions to keep. Open source based with multi platform support for Windows, Mac (ARM and Intel), Linux and a generic Java 17 package.
Portable multi-platform backup tool with advanced features
ZipSnapNG is a portable multi-platform backup tool which, despite its simplicity (200Kb and no installation required), provides advanced features such as incremental backup, data deduplication, encryption and configurable retention.
It may run through the command line or within a graphical interface.
Areca-Backup is a file backup software that supports incremental, image and delta backup on local drives or FTP servers. Areca-Backup also allows you to browse your backups and navigate among different version of the files contained in your archives.
Regpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
A file synchronization/backup utility. Designed to synchronize two folders. It can be used as a backup by synchronizing to a backup source. You can synchronize multiple computers to the same storage source. Includes FTP, SFTP and FTPS support.
The utility sfxcompress is a bash script used to pack and encrypt the current directory on a self-extracting file. It also includes the calculation of the MD5 function to check if the compressed file is correct.
...Now, also included in this is my Password Safe program. Store all your passwords in 1 convenient location. But, wait "wouldn't that be dangerous?", NOPE! It's all encrypted useing my special Cypher EncryptionAlgorithm: basically, you have to have the password, or you'll never see your data again! This also means that ONLY YOU get to see your passwords/accounts. So, if you don't feel like memorizeing 47 accounts (like I), then download this thing! lol I included a random password generator to go along. Any length, include any characters! ...
Peters Backup is a program for backing up your important data files on
to diskette, zip drive, fixed disk or CD/RW. It uses an extremely
efficient compression algorithm. It keeps track of all versions of your
files in full and incremental backups.
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.
dbt Labs empowers data teams to build reliable, governed data pipelines—accelerating analytics and AI initiatives with speed and confidence.
Data teams use dbt to codify business logic and make it accessible to the entire organization—for use in reporting, ML modeling, and operational workflows.