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
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
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.
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
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/
AnnaF is an automatic gene annotation framework, that is used to do some automatic annotation for C. higginsianum. It was also tested on F. graminearum and should work well for fungi in general.
AnnaF was build upon the pipeline framework Anna.
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
Open extensible system analysis report tool for Java, based on numerous open source analysis initiatives. The XML/XSL batch-processing framework produces integrated HTML/SVG reports of the systems current state and the development over time.
National University Community Research Institute's NU KEEPERRHHATT Algorithmic Framework is a series of meta-algorithms based upon the Longest Hamiltonian Path Problem for finding high level explanations to social, economic and political behaviour.
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
The OsMoSys Framework is a research project implementing a multi-formalism multi-solution framework for defining and analysing complex systems models. It uses model composition to cope with systems complexity.
A Simple and Efficient Framework for Infinite Resolution Simulation; provides a Java Thread-like class that executes over simulated time. Time units are user-definable, no time quanta, and neither changes to the VM nor pre-processing are required.
This research project seeks to use compiler techniques to perform an attribute-based data-flow analysis on (MOF/UML)models allowing for a syntax-driven validation of a model's static semantics as well as an abstract interpretation of i dynamic behavior.
A SOA-based framework for multilingual question answering (QA) systems that answer natural language questions with the help of a domain ontology and structured answer data sources from freely specifiable domains.
JRandO is a test data generator or better test object generator framework. It can be used in JUnit tests or in performance test (for e.g. using JMeter). It may also be useful in anonymization of data or in a simulation environment.
The project is targeted at building a framework for
describing businesses with natural language or structured natural
language. Starting from these definitions different components for
automated code and workflow generation will be integrated
CILib is a framework for developing Computational Intelligence software in swarm intelligence, evolutionary computing, neural networks, artificial immune systems, fuzzy logic and robotics.
This is a visual pipeline framework for batch processing data. It is a plugin to Eclipse Platform. It is a general framework designed to be customized for specific field. One example is http://sf.net/projects/camba
The ProM Import Framework allows to extract process enactment event logs from a set of information systems. These can be exported in the MXML format, which is the standard event log data format for Process Mining analysis techniques.
This project is an easy to use Java application framework, providing enough functionalities to be fully usable. It has been developed for a scientific articles library software, but I hope it's sufficiently generic to be usable on different contexts.
The Vyper Dynamic Server framework is a pure-java library for use in the creation of backend / server platforms. VDS is specifically tailored for financial applications, and suited for many high-throughput, asynchronous and distributed environments.
BioWebAuth (Biometrics for Web Authentication) is an open source Javaframework intended to provide single sign-on web authentication based on BioAPI-compliant biometric software or devices. It uses the JA-SIG Central Authentication Service architecture.
ANNJ, Another Neural Network for Java is a neural network framework for the Java programming language. It is still in an early development stage, currently supporting only feed-forward type networks, but will soon be able to handle many other types.
The Genalyze log analyzer, a simple yet highly extensible framework for parsing log files, was designed for parsing T-Server log files generated by Genesys contact center software platform, yet is generic and easy enough to adapt for other log formats.