Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try Now
99.99% Uptime for MySQL and PostgreSQL Databases
Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.
Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
The goal of this project is to provide a framework for click-through contracts. These occur often on the web. Our goal is that an XML version of the contract will be saved to the users hard drive when they click I Agree button.
Genesis is an IOC framework written in Java. It allows you to instantiate different kinds of objects with diverse tools which are provided by the abovementioned framework: XML, extensible design, reflective API, containers for the different types of IOC.
Open WS-Policy,an Open Source Web Services Policy Framework implementation,is a set of open source Java libraries that implement the ws-policy specifications.
Purity mini-framework is a MVC framework for Java-based web-applications. It provides distinction between Model, View and Controller, a functional Controller that dispatches user requests to the Model and tools like character escaping.
MobiDict is a mobile dictionary to be run on mobile devices that support J2ME (MIDP/CLDC). English-German and German-English dictionary are provided. The goal is to provide flexible framework for easy creation of other mobile dictionaries.
The VilAug framework for visual linguistics! This gadget contains an IconNet with icons like WordNet and an IconMessenger as instant messenger. A new ontology is used, grammars for visual languages designed. A language with signs? Create it with VilAug.
Virtual interactive experiments (vexp) is a framework to promote the developmentand use of cooperative e-learning experiments over the internet. Interactive scientific experiments which can be controlled by various users synchronously.
Java framework to simplify LDAP operations, based on the pattern of Spring's JdbcTemplate. Relieves the users of the burden of looking up and closing contexts, looping through NamingEnumerations, encoding/decoding values and filters, and more.
NoodleShare is an easy to use home web site builder that you can use for sharing family photos, videos, or just communicating with friends and family. It also provides a framework for easily creating your own dynamic web content.
Java Open Framework (JOF) is a suite of applications extending your creative potential. JOF includes a HTML creator, image editor, text editor and an audio/visual player and converter.
The pgf2 is a framework for generating prototypes. The generation process allows the user to choose the architecture / technology and outputs a simple working application for further development. The first option available is based on jboss seam.
BeanValidator is a framework for declarative validation of Java(TM) Beans and EJB3 POJOs that integrates can be used standalone or together with JSF and and JBoss(TM) Seam.
Framework for Java developers allowing them to import configuration and settings from external files, manage the imports (access, add, delete and modify the settings) and export the changes back to files.
SpringSip is an add-on to Spring framework that integrates the java-based NIST SIP stack into Spring as a singleton bean. The add-on provided by this integration of the NIST SIP stack is easier deployment and testing.
A Java framework that provides direct mapping between Swing/AWT/SWT components and your Java beans. Forms are automatically generated for your beans and their accessible properties. All forms support and encourage the use of i18n (internationalization).
junit-objects is an advanced object state-testing and profiling framework. junit-objects is different from Junit in that it allows you to assert the state of objects and design rather than the result of method calls.
Asgard-Core is the base for the Asgrad Integration Test Tool. This plataform, or framework, is designed to allow one to run any action using the power of IoC.
JAppGen is a framework for generating J2EE applications. At least in its initial form, it will create Tiles/JSF/Spring/Hibernate applications from a common configuration definition written in XML.