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
Creatio Low-Code Development Platform
Automate any business idea in minutes with Studio Creatio Enterprise
Intelligent low-code platform to empower both IT and non-IT staff to effortlessly build enterprise-grade apps and processes
Three software packages to work with RFC2617 digests: libdigest (C library to compute digests), libcppdigest (C++ library to manage /etc/passwd-like files) and libpam-digestfile (PAM module allowing authentication via an /etc/passwd-like file)
The complete suggestions framework for java, supporting single and multi field suggest, java suggest box, client/server with hessian or json-rpc, and GWT AJAX suggest box, phonetic plugins. Proven high performance for data sets > 1 Mio.
This is a log management system for Twisted applications.
It's a way to use python logging facilities under Twisted log environment.
It contains a server for storage of log messages,and a GUI to manage logging messages browsing & log dynamic config.
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.
The Leapon project is a PHP5 based web framework that allow quick creation and maintenance of web content. The goal is to let user create a data-driven web application using web tools provided by the Leapon framework.
LinPHA is an easy to use, multilingual, flexible photo/image archive/album/gallery written in PHP. It uses a SQL database to store information about your pictures. It comes with a HTML based installer, so you don't need experience in setting up SQL
Info Hub is an open source web based data/information repository/search engine. It allows browse and keyword search to documents and outside links. It is a great solution for project related data managment.
IDV Directory Viewer is a web application written in PHP for navigating through directories and browsing files on an HTTP server. It is highly customizable and outputs standards-compliant XHTML 1.0. The appearance of listings is customizable with CSS.
DeskTime is best for medium to large companies, as well as freelancers who want to boost productivity without overworking.
DeskTime is a high-performance, automated time tracking and workforce management solution for teams and freelancers. It runs silently in the background, logging computer activity from the moment of boot-up to ensure 100% accurate data without the need for manual timers.
From anywhere within Smarty templates, shuffle off CSS, scripts, XSL, even notes, into the head, body, or other parts of a document; into external files; or into a main site-wide file (e.g., for styles and scripts). Uses other markup to simplify X/HT/ML.
Prasi is an authentication framework with full user data management for Perl or PHP web applications. Enabled services can save and share user profile data and can be on different servers. Available in 10 languages, compatible with OpenID.
...This program uses PHP (5.x.y) as scripting language, as template engine 'Smarty' (2.6.x).
For the parameters have a look at the hq_img plugin file. You can handle GIF, JPG and PNG files. Additionally add a frame and/or a multi line legend with your own TTF font.
Sidewinder is a new kind of cross-platform application framework that uses web standards like XHTML, SVG and XForms instead of more complex languages, such as C++ or Java, to produce rich internet-facing applications and widgets.
corePHPAlbum is an easy-to-use web-based image/video gallery written in PHP. Just organize the image/video files into folders... and it'll do the rest. No database, no compilation, modular themeset, multi-languages support, thumbnails creation...
Partystic Sheets is a simple MySQL manager that provides a friendly user interface to manage databases as sheets. This program prevents overwritting data when users are sharing sheets. You can export databases to XML files.
vbullmin is a data miner bot for vBulletin boards. vbullmin can get all Forums, Topics, Post and Users from a vBulletin. It can be export this values with phpbb2 database schema. It's a sample for Machine Learning. It's using patterns for getting data.
Command line application written in Java useful for automation of downloading process and filtering contents of downloaded files. jDownloader uses simple script file to configure downloading and filtering processes.
The IETF protocol SDP provides a standard representation for information that describe multi-media sessions. This information are included within other protocol messages as payload. jSDP is a Java library that enable users to manipulate SDP messages
toendaCMS - Your ideas ahead is a publishing system and open-source content management framework, based on a modular structure. It has a user-friendly interface, is simple and intuitive to use. Making it easy to build and maintain a website or weblog wit
The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).
This project is designed to optimize search engine results by managing your web server sitemaps. The software combines both command line processes and a web user interface with a highly configurable architecture.
Mambo is a mature, award winning, feature rich content management system used for everything from simple websites to complex corporate applications. NOTE: Files here are older releases only. Please visit http://mambo-code.org for the latest releases.
PHP equivalent to the popular Perl script by the same name. Accurately converts W3C 4 HTML, images, complex tables (including rowspan/colspan), layers/divs, and CSS styles. For more information, see http://www.tufat.com/html2ps.php