Eclipse integration for Isabelle proof assistant
Ada compiler support for TI MSP430 processors
A Java library containing classes that I wrote and am happy to share.
JSF 2 tags and scopes
Simple Flexible Template Solution in Java
This is a software update checker which uses PHP scripts.
fxload utility from linux-hotplug project updated for the FX3
MSP430 USB-Debug-Interface MSP-FET430UIF Firmware Information
Unit testing for .NET
Investigo - DX9 Performance and Debugging Toolkit
.EPC (Electronic Product Code) Encoding/Decoding Library for .NET
Computer-aided threat modeling
MVC2 based HTML 5 enabled Web Application Framework
Creates a deep copy of a subversion repository item.