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
Build AI Apps with Gemini 3 on Vertex AI
Access Google’s most capable multimodal models. Train, test, and deploy AI with 200+ foundation models on one platform.
Vertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
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...
Code Bubbles is a front end to Eclipse designed to simplify programming by making it easy for the programmer to define and use working sets. It provides compact function-based views of the code (all backed by the underlying files) that are displayed in bubbles and that are easily moved around and manipulated on the screen. The bubbles are fully editable. A large bubble area lets the programmer set up different working sets simultaneously and easily move between them.
YARI is a comprehensive tool suite to debug (layouts), spy, spider, inspect and navigate SWT and Eclipse based application GUIs (Workbench or RCP) at runtime.
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.
Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
ADBTool with user friendly UI is very helpful for QA Engineers to test and validate Android mobile apps faster. It reduces the test execution time by 40-50 percent.
Installation:
In order to use this tool you should install ANDROID SDK. And set Android SDK path in Environment variables as ANDROID_HOME.
How to Run :
Windows: By just double clicking on it.
MAC or Linux: java -jar adbtool.jar
Capturing and editing screenshot is one of the painful work for QA engineers. QA Engineers...
Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org
Java tool for searching classpath for resources such as class or files. Drag and drop interface for add new jars to your search path. Useful for resolving those class not found problem such as java.lang.ClassNotFoundException and java.lang.NoClassDefFoun
This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a
When testing using a database with rollback after each test, failing tests are very hard to resolve. Data Storm is a simple DB viewer directly launchable from within your test code to enable you to inspect the current state of the database.
$300 in Free Credit for Your Google Cloud Projects
Build, test, and explore on Google Cloud with $300 in free credit. No hidden charges. No surprise bills.
Launch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
An open plugin providing a full Python Debugging graphical interface and shell for either JEDIT editor or NETBEANS ide. Python\'s debugger backend is implemented as a networking debugger inheriting the standard dbd.py python debugging kernel ,frontend
Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker
Yet Another Java Profiler (YaJP) is a profiler tool that uses the JVMTI interface. It can be used to selectively trace a java program and store this information in a compressed logfile. This logfile can then later be analyzed using the same tool.
Java SWT and AWT port of Scintilla, a free source code editing component. Scintilla runs on Windows and Linux with GTK+. It is a rich text editing control that supports syntax styling, error indicators, code completion, call tips, etc.
XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST
araSpect is a server side object inspector for web applications. Through a web interface you can drill down in your server side java beans. It is very easy to install and can be added to a deployed application. There is special support for Struts.
xdProf is a tool that captures and analyzes stack traces sent at a fixed interval from Java Virtual Machines in a distributed system. The xdProf client uses a C/C++ Java Virtual Machine Profiling Interface (JVMPI) library and works on many platforms.
Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/