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
More Bookings. Better Experience.
For tour and activity providers
The all-in-one solution built to help you stay organised and get more bookings with thousands of connections to online travel agencies (OTAs), resellers and suppliers.
Mind the re-programmable hardware, even CPU for most mobile devices. Flushable devices. Flushable CPU, modem, camera - any kind of EMPTY NAND device, creating a new one by the engineering forth and back and forward again. We recreate the world
DWIP is short for Disk Wiping and Imaging Tool. This tool is being built for Mississippi State Universities National Forensics Training Center for use on a live cd to give out to it's students.
This is a remote administration tool that allows command execution on remote machines in a similar way to open ssh. The goal is to provide an OS independent way to execute remote commandsby using the Python interpreter.
FreeOS/1 is a Free, Open Source, FreeDOS based Free and Open Source Alternative OS, with open source Microsoft Windows compatibility using HXDOSExtender KernelEx,and ReactOS source code. FreeOS/1 will include new technologies and will be easy to use
Manage and optimise Google, Facebook and Microsoft Ads faster and gain a competitive advantage with our digital advertising platform.
Smarter, more effective advertising
Slash the time it takes to manage and optimize your Google, Microsoft Advertising or Facebook Ads campaigns to just minutes a day.
Adzooma's AI and machine learning based PPC platform offers stress free campaign management, state of the art 24/7 optimization and advanced automation, all in a simple to use interface.
Scan for 50+ improvement 'opportunities', many of which can be actioned with a single click, track PPC performance and highlight over/under spending to improve your quality score, conversions and ROI.
These trying times are tough for all. So we're giving away our whole award-winning platform for free until June 1st 2020. That's automated PPC ads, one-click optimisations, and world-class reporting - at zero cost. No strings attached. No credit card required.
logProcessor is a daemon that read logfile in real-time and write to MySQL or PostgreSQL database. Have modules to split log line in table fields and writed to have a great performace.
A set of python scripts to provide command-line access to GroundWork Open Source. gwcmd allows to perform operations from commandline, and from remote servers.
Simple python script for keeping a backup set with an arbitrary frequency and any number of surviving snapshots. Uses the rsync reference directory feature to minimize space by using file hard links. Launch it from /etc/crontab.
Cyn.in helps teams to build collaborative knowledge by sharing & discussing digital content within secure & unified application. It combines the capabilities of wikis, social network, blogs, files, microblogs, discussions into secure enterprise platform.
RoxBird is a advanced graphical download manager. It can accelerate your download speed upto 40% than your normal speed. Among others its key-features include file-browser, Pre-viewer, recursive downloading,Scheduling & Queues, Write-cache, and more.
Python gen-purpose log monitoring tool. Can track several log files at once, and trigger actions by regexp matching. Actions are defined via modules with a very simple interface to implement. It can monitor syslog as well as gather web server stats.
Plug and play provisioning server for snom VoIP phones written in Python.
The server supports the plug and play provisioning feature embedded in snom phones of the snom 3xx, snom8xx and snom MeetingPoint series.
WebInspector is a websites watcher, a python console program that periodically checks a list of websites for changes and updates. If such an update is detected, selected by the user program (or programs) is executed. By default it's a web browser.
GTK client for LCDproc. The screens are optimized for 20x4 alphanumeric LCD and Logitech G15 LCD. It can show CPU stats, memory stats network stats, Amarok/Audacious/Exaile track info, uptime , date, clock, disk space usage and emesene information.
Petaapan is exploring the opportunities that multi-touch displays present. Initially we are looking at tools to support agile development to provide a concrete target for the investigations.
A Python API to interface with ZFS pools and filesystems via libzfs, providing directly to Python the kinds of things that the /usr/sbin/zfs and /usr/sbin/zpool tools do from the command line.
Programa escrito en python y que permitira analizar las antenas y tarjetas inalambricas para compararlas asi como calibrar la calidad de la conexion. Este es mi primer programa en python por lo que os ruego comprension.