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
Houzz Pro is the #1 business management software for home construction and design professionals.
Get the all-in-one tool for marketing, project and client management built specifically for remodeling and design professionals.
Get an all-in-one solution that spans the full customer lifecycle, including marketing, CRM, estimation & proposal building, project management, a 3D Floor Plan builder, an online invoicing and payment portal, as well as a client portal and collaboration tools. Start a free trial today to see why thousands of Pros run their business on Houzz Pro. Plans available for all business sizes.
Database abstraction and object-relational framework for Python based on the basictypes and basicproperties modules, and including reverse-engineering of schemas from live databases. Preliminary Zope DA is also available.
The classes create a thin abstraction layer over plain OCI calls. "RAII included." :) Presented wrappers are aimed to be programmer-friendly. They isolate evil OCI internals, while leaving the full power of SQL and variables' binding.
Auto-Log is an automotive information tracking system. It tracks fuel, oil change and repair information for any number of cars. With a focus on simplicity the application is a single-file install with no database needed.
Dragonfly | An In-Memory Data Store without Limits
Dragonfly Cloud is engineered to handle the heaviest data workloads with the strictest security requirements.
Dragonfly is a drop-in Redis replacement that is designed for heavy data workloads running on modern cloud hardware. Migrate in less than a day and experience up to 25X the performance on half the infrastructure.
Yet another web interface class :) Php class for quickly creating webbased database interfaces: Easily edit data in your mysql database; Automatic page generation based on database metadata and configuration files; Desktop-like interface (using ajax)
pdo-x is a lightweight Data Access Library for PHP5. It wraps the PDO extension included in PHP 5.1+. pdo-x allows you to use objects to interact with records in your database tables. Supports transactions & prepared statements, MySql, PostreSQL, & more.
this software eases the way of storing and retreaving self developed code parts. The developer (JCodeBase user) can easily save his/her codes and retrieve them. The specialty of JCodeBase is that it uses java and derby db so it can work every where and b
Pylon is an All-in-one B2B Support Platform for modern B2B businesses.
Pylon is a modern support system that integrates with all B2B channels like Slack and Team.
We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account management, customer marketing, and more.
LifeLines is a genealogy program to help with your family history research.
Its primarily strengths are its powerful scripting language and the ability
easily import and export information in the GEDCOM format.
Cayenne is an object-relational mapping framework written in Java. This Cayenne project at SourceForge is dedicated to hosting a legacy 1.2 release. For up to date releases please visit the new home at Apache. http://cayenne.apache.org
WikiPDF is a mediawiki extension based on Wiki2PDF that adds PDF/LaTeX features to mediawiki. Wiki2PDF is a python script to convert multiple articles of a mediawiki based wiki (pre-configured to use with www.wikipedia.org) to a single LaTeX or PDF file.
A snazzy front-end admin kit for FreeRADIUS that allows for the addition of radius users,user groups, and group attribute templating. Access controls allow for admin users and 'agents' that can act autonomously. Also admins FreeRADIUS radius attributes
Vela is a Open Source SQL and PL/SQL client software for Oracle database with a graphical user interface developed using Java Swing. It is a Front-End tool for a Oracle developer. It supports most of the common developer tasks.
Currently dead. Web-based SQL client that can connect to any number of databases using JDBC. Provides a clean, simple and fast interface using HTML and Javascript to make it very easy to run common SQL queries. Faster than your average Swing-based client
Combination of data visualization and data minig. Apllication use iteration through visualization, user interaction a data minig steps to separate data into clusters.
The result data of a Xims-questionnnaire is not exactly usable in Excel/ SPSS. ximsq2xlsspss converts/ sorts the result data to a format usable as input data for Excel/ SPSS.
BIOLAP - OLAP for Genome and Biology Data Sets. This project extends Mondrian OLAP to biology data sets. We provide tools to slice and dice genomic sequence similarities and more easily explore large genomic data sets.
Tool (C) to split the WURFL XML mobile browser database into individual device files with symlinks (stubs for NTFS) to reduce access time and server load. Includes a simple PHP library/API as an example how to access the data and an example phtml file.