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...
For C (and CPP obviously):
Include a fast and tiny RAM-tracing feature for Real-Time (RT) debugging purposes.
>> ONLY FOR DEBUGGING <<
Very much faster than printf-debugging, which may result in unforseen results in an RT environement.
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.
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.
A COBOL debugger for GnuCOBOL/OpenCOBOL written in GnuCOBOL
A COBOL debugger for GnuCOBOL written in GnuCOBOL. Works with both current GnuCOBOL and old GnuCOBOL/OpenCOBOL 1.1; could be used for other vendors with slightly modifications, too.
Take a look at https://gnucobol.altervista.org/tp-cobol-debugger/
This is going to be a Java Swing Application that will be used as a quick reference for Java API names. It will feature incremental search and filtering so that searching efficiency is improved. It will be very simple and a good way to statistically analyze java api's.
A Finite State Machine Editor, written on QT.
It allows to draw Finite State Machine with easy GUI and store it in XML file.
There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).
wxHexEditor is another Hex Editor, build because of there is no good hex editor for Linux system, specially for big files. It supports files up to 2^64 bytes. Written with C++/wxWidgets GUI libs and can be used with other OS'es such Windows, Mac OS
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
Shiny is a lightning fast, fully documented & by-far-easiest-to-use C/C++/Lua profiler with no extensive surgery. Results are smoothed & shown in run-time as a call-tree or sorted-by-time. Output also renderable as graphs in Ogre3D or your custom engine
A tiny and easy to use log library for C/C++. Written in C.
Customizable log message format for global and specified output target
Cross platform support. Tested: linux, win32, wince, mac
Java natural log includes class to do the following. Automatically produce method and class names, and line numbers in log messages. Send messages to syslogd servers via three different mechanisms. Simplify messages to just the message itself.
ClassGhost is a small utility that can redefine class files within a running JVM. ClassGhost allows you to directly inject the newly compiled class files in to the VM without interrupting the running application. Works with multiple as well as remote VMs
mspgcc4 is no longer supported. Please use the newer toolchain at the MSPGCC project. (This was a port of the GCC 4.x branch to the Texas Instruments MSP430 microcontroller core. It is based on the MSPGCC project that is stuck with GCC 3.2.3.)
This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.
Concutest is a collection of tools designed to make the development and testing of concurrent Java programs easier and more reliable. Concutest is available under the BSD License and under active development by the JavaPLT group at Rice University.
Provides interface for generating stack traces from within a program. Inspired by Java's ability to do a backtrace whenever an error occurs, this provides similar capability in C/C++. Very lightweight and portable, where available builds on execinfo.h.
Lune is an explorator of Lucene index. It can be incoporated in the Eclipse IDE as a plugin, or run as a standalone RCP application. It can query an index and explore the Lucene segments on a local or remote index.
Free cross-platform debugger for C/C++. It is frontend for GNU Project Debugger (GDB). Has good looking interface based on Qt4. See http://beaverdbg.googlecode.com for more info.
ThinFlashDebug (TFD) is a simple and lightweight debug tool. It uses a LocalConnection to log messages from your Flash application to a standalone debug window. It uses only static functions and no includes are necessary.