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
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
JXML2OWL Project is divided in two sub projects: JXML2OWL API, a library for mapping XML schemas to OWL Ontologies on the JAVA plaform. JXML2OWL Mapper, an easy to use standalone application with a graphical user interface using the JXML2OWL API.
EMT is an application to draw and test turing machines intended to help Formal Languages and Automata students to understand how turing machines work and test their own turing machines.
ballotbox is a java library consist of 36 algorithms derived from 23 Social Choice Rules (Voting Methods). Uses jgrapht graph theory project and it is own Preference class to represent preferences. Includes preference similarity algorithms.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
A graphical data manipulation and processing system including data import, numerical analysis and visualisation. The software is written in Java and built upon the Netbeans platform to provide a modular desktop data manipulation application.
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.
FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
GridPlan is an open source capacity planning and simulation tool for Grid Computing. GridPlan estimates the cost and performance of Grids comprised of Processor, Storage, Router and Switching nodes.
A very basic, very simple Java based GPS tool. Reads NMEA from GPS device over serial port - and does a few usefull things with it. The goal is to have something that can run and be useful on a desktop, laptop and handheld device.
BioMa is a specimen based Biodiversity database Manager. It is designed to store, organize, and manipulate biodiversity-related scientific data, either for the purposes of museums, scientific collections, or research projects.
Trip Tracker is a position tracking client-server system. A real time tracking environment can be set up with a GPS receiver and a tracking server. The map client can show the map position of the GPS client in real time.
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.
jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
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.
The Free Location Api is a free implementation of the JSR-179 Location API for J2SE.
It also extends the functionality to allow aggregating of multiple location technologies and seamlessly transitioning between them. (GPS, BT, WLAN,...)
MiniRail is a Java/Swing-based application for the planning of model railway systems. It integrates an extensible railway-piece library, automated end-fitting, railway reports and much more in an easy-to-use,zoomable,flexible track planner user interface.