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
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.
For Residential, Commercial and Public Works Contractors
Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
Project smat is mainly oriented on OpenSolaris and Linux : extend-able and easy to use text-mode administration utility written in Python/Curses. The Main purpose of the utility is to educate users by reviewing generated commands before execution.
Firefix is a small tool written in python that solves the firefox audio issue I detailed here: http://zarindenatrose.wordpress.com/2008/07/31/fixing-sound-firefox-vista/
Store, manage, and share passwords, files, SSH keys, and DevOps secrets among IT teams. Enforce password security best practices. Ensure compliance with industry standards using comprehensive audit trails.
Cross platform, user space drivers and function library for the Lightstone Biometric widget. The Lightstone is part of the Journey to Wild Divine relaxation software package.
PyMW is a Python module for parallel master-worker computing in a variety of environments. With the PyMW module, users can write a single program that scales from multicore machines to global computing platforms.
AmsdosFS is an implementation for Linux of Amsdos filesystem used on Amstrad CPC computers. It is written in Python and uses module Fuse Python to mount DSK images.
Globalscape Enhanced File Transfer (EFT) is a best-in-class managed file transfer (MFT) solution
For Windows-Centric Organizations Looking for Secure File Transfer solutions
Globalscape’s Enhanced File Transfer (EFT) platform is a comprehensive, user-friendly managed file transfer (MFT) software. Thousands of Windows-Centric Organizations trust Globalscape EFT for their mission-critical file transfers.
PyLine is a shell that is designed for users who want a easier alternative to cmd, but it is in its earlier stages, so it may not have as many commands. Works on Linux and Windows, and may work on Mac.
Remote administration platform for server using GNU/Linux Debian. debmin is highly extensible through a high level API, plugin architecture and use a simple but powerful language (Python).
A game written in python using pygame. The user launches a probe with starting velocity. The probe is then only controlled by gravity. Score based on time surviving (before collision) and proximity to objects.
The Basic Activity Tracker is a Python script that measures how much time your home users spend each day using computers around the house. Unlike other such utilities, The Bat works across multiple computers sharing a connection to SimpleDB on AWS.
mysql_innodb_backup is just an 'automation' and 'simplification' of existing MySQL server command tools. It can be called with one line to backup or restore InnoDB or MyISAM databases without interrupting operations.
Osmosys is a GUI enabled download manager and accelerator for written in Python that supports simultaneous downloads, pausing and resuming downloads, and backup state files during download to prevent network errors. Supports all major browsers.
This is a small python program intended to be used on Linux, to easy change your internet mac address for what ever reason you may have. It can change the address at a preset intervall and you can choose which card it should change the address on.
Drcom-Client is an open source ISP client for logging in to the 2133 Broadband Remote Access Server (also known as Dr.COM). It is released under the GNU General Public License. It is available for GNU/Linux and Windows now.
HaDeS is a deployment system for large scale installation. Designed to be scalable with respect the number of nodes and agnostic with respect the OS deployed, it has a Web Service interface that allows an easy integration in complex SOA systems.
Lightweight GTK+ Python application for shutdown and tasks like that for systems where no shutdown buttons available (e.g. Linux machines with only a window manager), and where custom shutdown commands needed.