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.
Modified AMFPHP with advanced authentication, file management, view templating, automated ORM MySQL interface while maintaining a fast and easy "drag and drop to FTP" installation. Get the Free UI at http://cubehenge.org/?pageName=Download
PHP web API designed to simplify object handling(loading, saving, querying, displaying, and editing), abstract the data from its display structure, and layout and allow the target data to be delivered to any supported format without special logic.
Project Manager and Bug Tracker for Agile Software Development. Flexible Task Workflows and Views. Supports Velocity and Iterations planning. Web-based, Easy to install and user friendly. Supports unicode. Free unlimited online hosting on Amazon cloud.
PHPWebBuilder is a PHP framework designed following well-known object oriented designs and principles featuring a highly reusable components architecture, metadata based persistence and traditional GUI style programming support.
Create custom docs, forms, apps, e-signatures, and surveys with Titan.
Powerful no-code digital experiences for Salesforce
Create custom docs, forms, apps, e-signatures, and surveys with Titan’s full-suite of enterprise applications designed to integrate seamlessly with Salesforce data across your entire organization. #1 on the Salesforce appexchange
EternalCMS is a Content Management System. It utilizes Zend Framework to help promote cleaner coding and improved performance. It features User Managements System and News Publishing.
A xsl, php, jquery, ajax, soap, xml, css, mysql, apache, DOMi, object oriented CMS for a business model with a website. Once you go Yeakum you never go backum.
SilverStripe is a Web Framework and Content Management System. It differs from many of the better known CMSes in that it uses fully object oriented code, has native Ajax support, and allows you to very cleanly customize the system to suit your needs.
iWiccle is an online Web 2.0 platform. innovative builders specializing in social networks, blogging sites, web communities, gallery presentations, link directories, & article portals. A universal web community script written in PHP & MySQL. New v1.3
Products to help you get data where it needs to go—securely and efficiently.
For too many businesses, complex file transfer needs make it difficult to create, manage and support data flows to and from internal and external systems. Progress® MOVEit® empowers enterprises to take control of their file transfer workflows with solutions that help secure, simplify and centralize data exchanges throughout the organization.
Powerfull and easy to use web based CMS. This CMS is written in PHP and fully object oriented. CMS Modules can very easy enhance the CMS core to unlimited funtionality. CMS Ajax-Module for faster editing and a CMS WYSIWYG-Editor are included in the CMS.
PoundCake Control Panel (CakePHP plugin) - admin panel for users and groups management, dynamic database driven ACL menus generation and management, permissions assignment to users and groups.
Continues Integration system which has been developed for distributed networking execution environment. It started its life serving builds and tests in a commercial environment early days well before continues integration became a standard well-applied best practice in the industry. The code was open-sourced and was used by multiple local development teams known to the author. Later on alternative CI systems, like Jenkins and BuildBot, gained popularity, established big communities and...
BugFree is a PHP/MySQL web based bug tracking system with features such as bug/issue tracking, test case/result management, project management, email notification, and powerful statistic chart etc. Language packs include English and Simplified Chinese.
The PARSEC CEE is the primary achievement of several years of effort at NASA's Marshall Space Flight Center. The CEE was developed to allow engineers in the Advanced Concepts Department to rapidly prototype launch vehicle and spacecraft concepts.
It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi
This sofware is designed to help different chess clubs to set up their own rating system. It uses USCF approximation formulas for rating calculations. Working example at newarkcc.vfutbole.ru
Lightweight, simple CMS software built in-house by Skalfa eCommerce (www.skalfa.com) and used to quickly create sketches and prototypes of company web-products. Supports extensions, themes, database content.
Construct and management virtual clusters which the nodes of the clusters running on the virtual machine rather than native machine. Fast install and switch virtual clusters. Efficiently storage vm images. support variant VMMs.
EnterPHPrise is a the ultimate and most complete solution for system development for the Enterprise. Bringing PHP development to a whole new level, it's much more than just a framework, it's a complete development and project management tool.
mProduction CMS will be an open source Content Management System capable of deploying as a simple informational website, blog, shopping cart, flash-shell website, or web application.