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
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build generative AI apps with Vertex AI. Switch between models without switching platforms.
This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations
QWACK is a computer application aimed primarily at students and scientists allowing them to explore and experiment the concepts of computer programming by using the simple, but yet powerful graphical interface.
JPlate represents a collection of reusable frameworks, tools, utilities and Java source code. Ideally JPlate will provide the plumbing by which constructing solutions (for example applications) will be simplified.
Java API for implementing any kind of Genetic Algorithm and Genetic Programming applications quickly and easily. Contains a wide range of ready-to-use GA and GP algorithms and operators to be plugged-in or extended. Includes Tutorials and Examples.
A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
Visual SQL Builder is a graphical PostgreSQL client written in java that will allow users to Visually build a complete SQL statement, without typing any clause. Building complex SQL queries in an easy way, reducing debugging, syntax and logic errors.
Jump Start UI is a development tool that jumpstarts your UI development by generating initial display and binding code based on the JavaBean. Genertes code for HTML, SWT, and other languages/libraries.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
JFrame is Model View Controller Model2 framework for Web based applications written
in Java language. It is very simple and emphasis on security and stability.
Because of it simplicity this framework can be used and for studying
purposes.
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
frCoder is a set of tools used to write, test, and simulate software written for the FIRST Robotics Competition (FRC). frCoder also includes basic libraries of common techniques used in the FRC.
It's a tools generating some graphics interfaces for applications in Java language. It's to gain a lot of time while building some windows. The Swings classes are very difficult to use! (especially the Layouts)
We describe the windows content in XML!
jUDO (java Universal Data Objects) handles coding against a database Independent of database (plugins for db2/Oracle/Cloudscape/mysql/mysql etc).The code is generated "runtime" , just give the method names and jUDO derives the code/sql.
Gnubert will be a system to use the power of many computers across the internet to solve problems using evolutionary techniques. Any user may define a problem and the system will attempt to solve it.