Synthesizing embedded control software from formal specifications
Sahi is a web automation testing tool focused on testers
Deemon Scripting Language
Java library for better control of external processes
Platform for creating workflow based systems like DMS, CMS or CRM.
Quickly Search THOUSANDS of Archives!
Commonly used utility classes (java.util.collection related)
Simple Web-based environment for PHP scripting in programming class
State Machine Diagram Plug-In for Eclipse/CDT
zk authorization module
console-mode visual binary diff
A Task Processing Framework for Java
msfvenom shellcode generator/compiler/listenner
An example project to demonstrate continuous integration, in HTML5..
A C++ implementation of a nonlinear 3D IMU fusion algorithm.