MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
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.
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...
A subset of the TestCon project, ConAn builds on Roast to provide a testing framework for concurrent Java components. For more details on the development of ConAn and TestCon/Crom, see http://longbrothers.net/brad/papers/thesis.pdf
This Eclipse plugin supplements the sourcepath lookup mechanism provided in Geronimo Eclipse Plugin to provide the Eclipse debugger the source code attached to the jars that your EAR/WAR project depends on.
LOG4PLSQL is a PLSQL framework for logging in all PLSQL code
this project was born from the log4J spirit (and use it). You have the possibility to log apart from transaction and use all LOG4J feature.
The JSwat project has moved to Google Code: http://code.google.com/p/jswat/ -- the contents of the SourceForge project are no longer being updated. Please visit the new site. Thank you.
Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.
How Good are your JUnit Tests? NoUnit measures your Junit tests in your project using Java, XML and XSLT.
NoUnit gives a picture of your code , like a graph gives you a picture of a set of figures, to allow you to see what is *really* going on.
It's a modern take on desktop management that can be scaled as per organizational needs.
Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.