OStatic

Inspired by JUnit, csUnit brings the power of unit testing to the .NET framework. csUnit is your key to unit testing and test-driven development using...

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environme...

opensurveypilot is a strong opensource webbased system for generating complete online surveys, polls and many more.

Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an expl...

PEBL (Psychology Experiment Building Language) is a new language specifically designed to create psychology experiments with. It is cross-platform, w...

ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for ...

Jacareto is a capture & replay tool for programs written in Java. You can capture actions on applications and replay them later on (like macros). ...

The DaCapo benchmark suite is designed to faciliate performance analysis of Java Virtual Machines, compilers and memory management. It comprises a h...

ProtoMol is an object-oriented component based framework for molecular dynamics simulations.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, wi...