Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
"Yet Another Do-It-Yourself (Test) Automation Framework" specification. Use or modify one of the existing software implementations (hosted/referenced here), or implement the framework yourself. Download and read the spec for more details.
LOG4PLSQL is a PLSQL framework for logging in all PLSQL code
this project was born from the log4J spirit (and use it). You have the possibility to log apart from transaction and use all LOG4J feature.
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Distributed Computing Over P2P Networks(DisCo) is focused to provide a javaframework for programmers to develop distributed software application with lesser or no time spent on distributed computing part.
Web Flavor is Web framework like JSP that can be executed soon that operates with the Java Servlet container, and used the Scala language when writing.
The Web application can be easily developed by using the XML literal.
JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.
New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1
Wilos project (www.wilos.ups-tlse.fr) is a process orchestration software. It helps team members to manage a project through the execution of a software development process taking from an exported xml file of the Eclipse Process Framework.
JMeter is a load testing framework developed in Java. This plugin adds functionality to JMeter that logs results to a database, allowing for more effective reporting.
Framework for manipulating Connections: The API mean purpose is provide a unified API through Adaptersto easily incorporate a third-party library into existing application. Also provide an efficient NIO based implementation supporting UDP and TLS
An ecosystem for model-driven engineering on the JavaEE platform.
The vision is to enable the incorporation of best practices, standard patterns and tools for building robust, scalable, distributed applications with a rich domain model without forcing any lock-in with any particular vendor or framework.
For more information visit: http://www.openmde.org.
A high performance cross programming languages communication framework similar to Java RMI. Unlike RMI, CABLE allows server push and was tested to run up to 3x faster than RMI depending the number of threads and CPU power. Currently in Java and C#.
Neuroph OCR - Handwriting Recognition is developed to recognize hand written letter and characters. It's engine derived's from the Java Neural Network Framework - Neuroph and as such it can be used as a standalone project or a Neuroph plug in.
Kjora Framework is a lightweight PHP 5.3 framework. It provides an architecture to build a Model-View based website, with a dynamic data access object, and a "One Page - One Class" system to design it.
This project develops a secure P2P framework in Java (SePP). Existing P2P frameworks are not covering security by design but rather implement only some high layer security mechanisms. It has been developed as part of the EU project SMEPP (www.smepp.org)
Cubicle is a framework / application server based on the infamous Spring framework and works with a component approach. To make application developement easier, Cubicle provides a pluggable application mechanism, provides common features (user management
Smokestack is a modular JEE unit testing framework, independent of Java unit testing framework (like JUnit or TestNG) with functionality geared for validation.
A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.
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/
Ferret4J aims to be a lightweight MVC framework for Java applications. It is based on a Model-centric architecture and strives to be as little intrusive as possible. You can find out more in my blog at http://blackship.eu/category/my-projects/jferret/
jBackup Framework is very simple and easy to use framework build in Java, which enables developers to create applications that can backup, restore, update, remove, track changes to files, schedules jobs for execution and other useful stuff.