OStatic

This was an UI course project. In this project we built an interface prototype of an online travel reservation system. This service was meant to revol...

Sudo for Windows (sudowin) allows authorized users to launch processes with elevated privileges using their own passphrase. Unlike the runas command, ...

CppNcss computes NCSS (Non Commenting Source Statement) and CCN (Cyclomatic Complexity Number) for C++ source code.

Floatator is an interactive fluid dynamics simulation that runs on Linux. The simulation and visualization are in 2D. It was originally programmed on ...

smtp-benchmark is a benchmarking suite to measure the performance of SMTP gateways like Sendmail-based MTAs. It consists of two parts, an SMTP sender ...

IDebug is an advanced debugging framework for Java. It provides the standard core debugging and specification constructs such as assertions, debug lev...

c_count counts lines, statements, and other simple measures of C/C++/Java source programs. It is not lex/yacc based, and is easily portable to a varie...

A tool to identify and analyze network congestion.

Stagehand_TestRunner provides utility classes and scripts to automatically detect and run all test cases that are suffixed with 'TestCase.php...

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in so...