Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
Its an Eclipse 3.5 Plugin.
It can be used to find linear paths for unit testing of any method.
The linear path covers all the child methods and till leaf level of the hierarchy.
The packages which should be covered in the path can be controlled.
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.
Provide metrics calculation and dependency analyzer plugin for the Eclipse platform. Measure metrics with avg and std deviation and detect cycles in package and type dependencies. Continuation of work from http://sourceforge.net/projects/metrics.
Small plug-ins for the Eclipse IDE to enhance the usability. All plugins can be updated through the update site: http://sahits.ch/project/eclipse/update
News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki
ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici
PatternDetect is an Eclipseplugin that extracts the design patterns used in an Eclipse Java project. PatternDetect can be extended with new design patterns.
Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.
Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.