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
PairSoft | AP Automation and Doc Management
Free your team from manual processes.
Streamline operations and elevate your team's efficiency with PairSoft. Our AP automation, procurement, and document management solutions eliminate manual processes, cut costs, and free your team to focus on strategic initiatives. Experience our state-of-the-art invoice-to-pay solution, now integrated with advanced AI technology for faster, smarter results. Our customers report a significant 70% reduction in approval times and annual savings of $62,000 in employee hours. At PairSoft, we aim to transform your business operations through automation. Explore the future of automation at pairsoft.com, where you can leverage cutting-edge features like invoice capture, OCR, and comprehensive AP automation to transform your workflow. Whether you are a small business or a large enterprise, our solutions are designed to scale with your needs, providing robust functionality and ease of use. Join the growing number of businesses that trust PairSoft.
This program lists all files and folders inside given path and stores in HTML file. Generated HTML uses external java-script and CSS to render it as treeview. Background threading ensures stability while XML gives flexibility to this program.
A Windows service who monitoring your files, when a file is created, this one is send to the clamav console programme (clamscan.exe) to scan it. You need a standard ClamWin installation in c:programme files; It's not a real time engine
diff2html is a bash 3.2 script that uses the output from diff(1) to create an html file with color comparison of file1 to file2. The html file (optionally) formats using CSS. Hyperlinks are provided to jump to the changed lines.
zenformat is a simple, zenity-based GUI for the mkdosfs command which enables easy formatting of FAT16 and FAT32 (ie DOS and Windows standard) drives under Linux or any system running X, zenity and mkdosfs.
Odoo is a software suite to better manage and run your company.
Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few.
This library supports reading and writing Macintosh data and resource forks in AppleSingle, AppleDouble, Windows Appleshare Server, Helios, Xinet, MacLan and UShare formats.
As in Pretty Good Privacy, this is a Pretty Good Incremental Backup tool. Inspired in rsync, jnSynch provides a basic file synchronization engine written in JAVA and so executable from either Java-compatible computer.
3D file manager, file system visualizer which can have many interfaces and skins, which offer visibility and comfort in navigation on your computer, your file system and will give you an opportunity to feel yourself in 21 century.
Jesta I.S. | Enterprise Software For Retail and Supply Chain
Transition from fragmented entry-level or legacy systems to an enterprise suite.
Unify your people and operations across all departments and channels. Discover end-to-end retail, wholesale, and supply chain management software suites designed to scale.
Picasa will not export images in the order that they were placed in by the user. This is particularly problematic with albums created from multiple folders. This application allows the user to re-order the exported images, by renaming the files.
Extend the functionality of the mount and the umount commands by adding support for basic device mapper devices, for key files and scripts and for filesystem checking at mount time while retaining support for loop device encryption.
Written on C# .NET2.0, Used for mass file renaming, you can easily number you files, filter them by extension and then add prefix/suffix...
Especially useful when you need to rename photos taken by camera.
Now working on Linux port(C#MONO) testing.
The Xbox Linux Project aims to privide a version of GNU/Linux for the Xbox, so that it can be used as an ordinary computer. Linux should make use of all Xbox hardware and allow to install and run software from standard i386 Linux distributions.
OffsetFS allows you to mount an arbitrary file or block device as a
directory tree of read-only files that each represents the mounted file
starting at different offset.
The program monitors file size and time stamp modifications and exits when the file stops changing. Purpose of the program is to work as a poor mans mutex e.g. keep on blocking next commands in scripts.
kcd is a directory change utility similar to NCD. It helps you navigate the directory tree. You can also supply part of the desired directory name directly in the command line and let kcd find it for you.
Cookie DestructoR helps you to maintain your privacy on the web. This software has the ability to clean cookies and internet cache on the fly. It is ready to destroy the Index.dat database file on your machine, if necessary.
incron is an "inotify cron" system. It works like the regular cron but is driven by filesystem events instead of time periods. It contains two programs, a daemon called incrond (analogous to crond) and a table manipulator incrontab (like crontab).
MD5 Rescue permite reparar archivos que se han corrompido si se dispone de como mínimo dos archivos corrompidos (corrompidos en diferentes partes) y se conoce el md5 del archivo correcto.
FrozenFS aims to be a complete implementation of an immutable file system on unix-like systems. FrozenFS tries to emulate on unix-like platforms the functionality provided by Deep Freeze for the Windows platform.