General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Start Free
Paessler - Monitor Your Whole Network in Minutes
Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.
Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
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 HL7 Inspector project has moved to Bitbucket.
https://bitbucket.org/crambow/hl7inspector
All new releases can be found there.
The web-based version can still be found at www.hl7inspector.com
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.
The project tries to extend the basic Hotswap support in the current JVM and allows developers to add/remove instance fields and methods and replace the new class in a running JVM, thus saving huge time incurred in restarting the JVM for every change.
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.