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
Peer to Peer Recognition Brings Teams Together
The modern employee engagement platform for the modern workforce
Create a positive and energetic workplace environment with Motivosity, an innovative employee recognition and engagement platform. With Motivosity, employees can give each other small monetary bonuses for doing great things, promoting trust, collaboration, and appreciation in the workplace. The software solution comes with features such as an open-currency open-reward system, insights and analytics, dynamic organization chart, award programs, milestones, and more.
JavaDBConnector is a Java API for connecting to the four most popular database engines: MySQL, MS SQL Server, Oracle and MS Access. Includes a customizable GUI for connections managing and a generic logic tier for make easy to use databases,
Isolate Project is a straightforward data retrieval software that connects to popular relational database management systems and performs search operations based on the criteria specified. This project aims to speedup data retrieval operations.
JiaND stands for "JiaND is a Nutritional Database", and it is an application to aid you in maintaining a healthy diet. It allows you to track ingredients, recipes, and meal plans, along with the nutritional content of all of these.
Odoo is a software suite to better manage and run your company.
Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few.
Sar-K is a Java tool to generate code for user interfaces, model classes and data access layer based on a database model. Sar-K can access many database engines and produces code in many languages and architectures using customizable templates.
Project to allow storage and retrieval of data in different formats.
Main aim is to allow it to be used for cloud based systems, or as the basis of a cloud based system.
TeNeM (Telecommunications Network Model) is a PostgreSQL schema with PL/pgSQL functions and triggers intended to make with a fiber optic network management. It is also a GIS JUMP plug-in to edit and visualize the data. PostGIS is used to extend Postgre.
Design & implementation of a distributed database system with: data replication, robustness, increase of performance and robustness as a result of distribution, independent view of local resources (locally stored data). For now only a subset of SQL.
MaintainX is the world-leading mobile-first workflow management platform for industrial and frontline workers.
Trusted by Operational Leaders Across the Globe
Your day-to-day maintenance tasks, simplified. MaintainX eliminates the paperwork, so you can spend less time on your clipboard and more time getting things done.
This is a Java based RESTful Web Service designed to interface with the proprietary MD (Melissa Data) windows database. MD provides several interfaces to validate addresses, phone numbers, email addresses, zip codes, amd more.
DraGnET is designed to assist with the management of annotated draft and complete genome sequence data. DraGnET also provides a web interface for BLAST and Batch BLAST search capabilities. Each search page has instructions for the use of the page.
MighTyD is a prototype for demo puposes & the first implementation of the temporal database model devised by Nikos Lorentzos, Hugh Darwen & CJ Date. It uses Tutorial D as its language & PostgreSQL for storage & is compliant with the The Third Manifesto.
Ajaxmapper is a server-based component, written in Java, which maps data from a relational database to a XML file, transfered by HTTP. The goal is to exchange data with Ajax client components.
A website setup tool written in the Java programming language providing necessary functionalities to configure source files including SQL structures for the targeted database. FTP access and SQL support are required on the targeted host.
This project is an customised, highly evolved open source L2J server emulation software. Main source bases mostly on L2JOfficial project files. Project is written in Java, Python, XML, HTML, SQL and so on. //// and is not available to all anymore. ho
Jipes provides open source Java APIs deeply integrated into the Oracle RDBMS, including an Ant task for building and exporting database objects. A Java Data Cartridge replacing database links is also in process.
DMS will offer software for managing and presenting different kinds of data.
We provide software for the most common business data including Media Asset Management or Product Information Management.
JDBC blocks embedded in XML templates are processed to generate XML output. The idea is to create ad-hoc XML reports from databases (or whatever data you can access), and is strongly motivated by XSL stylesheets. Not performant, but flexible.
Easy Db Filler's purpose is to generate test data for databases. Given the cohordinates of a database, it loads dynamically its tables and then allows users to specify how many records per table they want, and how each column has to be filled
Objective of the proposed system is, introduce a reusable, extensible heterogeneous database Integration tool. Integrated Query, Import Export amoung defferent databases. Export data compressed by XMILL
Open Staff is a project of "Informatici senza frontiere".
It's born in 2008 from thesis in Science of Information.
It allows to manage the data of the employees, as gives registry, roles, contracts, etc...
James Mailets for processing Tap Forms record emails. Tap Forms is an apple iPhone database application that allows email of CSV files. Creating James mailets allows automated processing of information captured on the iphone with Tap Forms.