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 AI Idea to AI App Fast
One platform to build, fine-tune, and deploy ML models. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
The Swiss Protein Identification Toolbox (swissPIT) is a project at the Swiss Institute for Bioinformatics (SIB) in Geneva which aims at the development of an automated analysis system to identify proteins using MS and MS/MS based data.
JSys is a simple to use graphical package for simulating continuous dynamical systems. It was created for use in a first level undergraduate introduction to systems thinking for students of Information Technology and Information Systems.
A java program for exploring cubic fractals, similar to the Mandelbrot set but exhibiting a higher level of dynamical complexity. CubicBrowser provides the ability to explore the 4D Cubic Locus (and associated Julia sets) by viewing arbitrary 2D slices.