Create fast bare-metal FPGA designs without Verilog or VHDL
Real-time data acquisition and visualization software
Data Access Layer 4 Java
Functional programming in natural language
C++ Tcl interface library
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