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
Find out just how much your login box can do for your customer | Auth0
With over 53 social login options, you can fast-track the signup and login experience for users.
From improving customer experience through seamless sign-on to making MFA as easy as a click of a button – your login box must find the right balance between user convenience, privacy and security.
NG4J - 'Named Graphs API for Jena' is an extension to the Jena Semantic Web framework for parsing, manipulating and serializing sets of Named Graphs. For details about Named Graphs see http://www.w3.org/2004/03/trix/
IVY Framework is a full stack web application framework. The framework takes away the need to reproduce html, styles, database connections, data validation etc and concentrate on the Business rules of the system.
A Java web framework, which provides an easy and effective way to separate the HTML pages and the associated Java code without using any custom document tags, source code outside class files, or custom XML metadata files. Unlimitedly extensible.
InEight is a leader in construction project controls software
InEight serves contractors, owners, and engineers in capital construction
Minimize risks, gain operational efficiency, control project costs, and make confident, informed decisions. InEight software has your back during every stage of construction, from accurate pre-planning to predictable execution and completion. When project teams collaborate effectively, every decision is backed by precise, authoritative insights.
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.
Once finished, wafp will be used to generate flexible web applications around reports and formulars. To remain as user-friendly and environment independent as possible, configuration will be saved in xml-files rather than a database.
RailsDB is a web application written in Ruby using the Ruby on Rails web framework to provide a generic interface to popular open source databases such as MySQL, PostgreSQL, and SQLite.
EchoBinding is an extension to the Echo2 web framework. EchoBinding provides a data binding facility that helps you to synchronize screen and session state of your Echo2 applications.
A set of extensions for Struts adding advanced web framework features for Java 5.0 developers, including POJO actions, declarative validation, data binding and conversion, dependency injection, interceptors and pluggable navigation.
DataHub is the leading open-source data catalog helping teams discover, understand, and govern their data assets.
Modern Data Catalog and Metadata Platform
Built on an open source foundation with a thriving community of 13,000+ members, DataHub gives you unmatched flexibility to customize and extend without vendor lock-in. DataHub Cloud is a modern metadata platform with REST and GraphQL APIs that optimize performance for complex queries, essential for AI-ready data management and ML lifecycle support.
Waffle is a Java Web framework that allows for pojo-based actions. Dependency injection support is built in. Waffle does NOT have a proprietary templating language nor does it require any XML configuration files. Waffle apps are easy to write and test.
Hijax is a web framework supporting AJAX-based development. It links Javascript client events to server code (Java), and allows modifying the page content from the server event handlers, even for standard HTML files (no serverside tags needed).
Paperboy WDM is a web development framework built around the concept of separating logic, content, and presentation without the complexities of SQL. It uses Paperboy RSS as a translation layer between content (in XML) and presentation.
This project is an XML oriented Web Framework that relies on python for expansion of XML data into web pages, while keeping code and content sepearted. Coupling this with CSS allows for complete page formatting and styling without touching python code
A simple Python-based web framework for viewing and editing genealogy data. Allows users to browse your family tree and make changes, such as adding new people, adding or deleting images, or notes and stories. Works with GEDCOM v5.5 and Spyce.
open source UI components data binding framework for Java using JDO.
The linked components are forms, trees and tables and implementations are for Echo web framework, Swing and JSF. Also provides validation support, internationalisation etc
JWebToolkit is a Java web-application framework that provides a database pool (schema configured by XML), data interfaces, command pattern implementation, JSP tag libraries, JDK1.1 compatible XML parser, and XML tools.
A simple and easy to use OO (Object Oriented) Web development framework to provide a foundation for building Web applications. It uses PHP for foundation classes and xml-based text files for application configurations.
Presenting XML is a Java web application framework for presenting HTML, PDF, WML etc. in a device independent manner. The framework supports a flow of content (XML files, flat files, SQL, dynamic XML) through SAX pipelines and XSLT transforms to a device
Parsec provides a JSP 1.2 tag library and an API for developing rich web applications. MVC is supported with the Page Controller pattern, where requests go to JSPs; no XML config files. Client-side form validation supported by JavaScript code generation.
The Niggle web application framework is a java class library that allows
a complete separation of data and presentation from the servlet's dispatching
logic. It leverages various Java API's as well as the freemarker template library.
Java XSLT Web Application Framework (JXWAF) is a Java based XML/XSLT framework to enable Web based applications to be assembled easily.
The usage of XSLT will ensure clean separation of data from its presentation enabling pages to be changed quickly