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
Apify is a full-stack web scraping and automation platform helping anyone get value from the web.
Get web data. Build automations.
Actors are serverless cloud programs that extract data, automate web tasks, and run AI agents. Developers build them using JavaScript, Python, or Crawlee, Apify's open-source library. Build once, publish to Store, and earn when others use it. Thousands of developers do this - Apify handles infrastructure, billing, and monthly payouts.
One2one is a database- mapping tool. The tool allows for easy conversion of data from one source into another. Take general data descriptions and map them into complex table hierarchies of any major database vendors.
SnapDAL for .Net is a combination of a data access helper and a Factory that supports the use of the generic ADO.net interfaces. It is also integrated with the unit testing framework, .NET MockObjects, which supply mock implementations for ADO.net.
PHP based MySQL database back-up manager. It reads database structure/data and makes .sql
back-up files. The main features of the package are one/multiple database back-up creation, one/multiple .sql file restore, delete sql file/s.
db4oboobrowser is a simple boo based object browser for db4o (http://www.db4o.com/) database files that allows you to view and manipulate your live objects either through a GUI or scripts written in the boo programming language (http://boo.codehaus.org/)
Preventive and reactive maintenance work orders for capturing photos, meter readings, file uploads, downtime and other metrics.
Set up in minutes, not months. Maintainly replaces spreadsheets, clipboards, and broken email chains with a modern CMMS built for how maintenance teams actually work.
Shift2Ingres migrates Oracle & DB2 database applications to Ingres R3. The migration tool-kit consists of Data Migration tool (migrates Oracle/DB2 databases to Ingres) and Application Migration tool (migrates Oracle/DB2 db applications to use ingres).
This site is intended as a location containing a suite of tools to (1) Aid in the design of db APIs to be utilized in a J2EE environment and (2) generate stubs for the db API, Java classes and SQL DDL necessary to support the MVC pattern and the Data Own
Program with execute PL/SQL, working with Database CA-Ingres. The editor working with highlighter of reserved words. Save the scripts. Export to Excel and Text Files. RUn the execute plans.
POPsearch is a desktop search engine that's designed to help you find
information on your computer. This information can then be accessed remotely with RSS feeds, email feeds, or from any computer that has a web browser.
Business password and access manager solution for IT security teams
Simplify Access, Secure Your Business
European businesses use Uniqkey to simplify password management, reclaim IT control and reduce password-based cyber risk. All in one super easy-to-use tool.
LDBC (Liberty Data Base Connectivity) is a JDBC driver that provides vendor-independent database access. With LDBC, your application will just work on all major databases and you don't have to change any source code. LDBC is based on ANSI-SQL and JDBC.
PHPDataAdmin gives the user a web interface to modify data within MySQL/PostgreSQL tables while allowing the database admin to give limitations to what data will be accepted for each field as well as locking out some fields altogether.
DETRIN is a C++ library of classification algorithms and other utilities
in the field of data mining. We will use standard ISO C++ programming
language to develop our project. The goal of DETRIN is to facilitate researchers in the related fields.
MySiteMaker is a collection of CGI tools for rapidly creating web interfaces to MySQL database tables. The primary goal of this project is to make accessing data in MySQL database tables as easy, convienent and simple as possible.
GTK-DBExplorer is a PHP-GTK multi database administration tool. It supports many DBMS's through adoDB Abstraction layer. It will have a SQLEditor with autocomplete, table editor for any DBMS and data explorer.
This project is for creating and maintaining a (sort of) Type 4 JDBC driver for MDB files. Only sort of type-4 because while it will be pure Java Access is a desktop database so providing a service as required by a type 4 driver will not be supported.
CarrierPigeon enables intelligent, transparent and secure usage of data sources across networked sites. The underlying, distributed Java-framework is built on the concept of proxy drivers to provide a real VPN experience.
Our intent with OCDB is to create an online database of one's cd collection and, going a little further, to yield insightful information on the overlaps between creators, labels, genres, etc.
Tracks project details using a variety of data options. Primarily designed to contain and organize software requirements in a multi-project, multi-user, environment using a networked SQL compliant database management system while tracking changes.
The FormattedDataSet Java API is the easiest way to generate dynamic text (HTML, XML, WML, JavaScript,...). The dynamic text is generated by using tabular data as input (SQL statements, ResultSets, 2 dimensional arrays,...).
Data Access Objects for PHP5. A set of classes used for connecting to databases in PHP5. The goal is to provide PHP5 developers with a unified OO API to access databases.
Object Relational Persistence and Object-Based SQL Query API. Similar to that of Hibernate or JDO but much better structured design. This API has several layers of abstraction to be useful for nearly any situation.
It is a Java-based media archiver, that is a tool to store information about your media (CDs, floppies, etc.), cataloguing files into a database.
It should be a start for a set of applications using a DBMS for home users.
THINi Reports provide a grouped HTML display of data not unlike Crystal, BIRT or Jasper Reports. The software is implemented in PHP5 as a Report Class. Data may be retrieved from any data source or database that PHP can (be made to) understand.