SPIN-based Eclipse Model Checking Plugin
Web application using Symfony2 Framework
z390 Portable Mainframe Assembler and Emulator
Hashing and spatial concurrency library.
Generate an executable state machine from a high level language.
PHP Console for debug and monitoring websites
COBOL compiler for the PC x86-32 platform.
A LLVM backend that targets Motorola 680x0 series processors.