An HDL alternative to PCB graphical schematic capture tools.
Open source and free source code static analyzer
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
JAVA-based generation of UUIDs
Goal-directed answer-set programming
[frozen] A library for computing cycles in graphs or in Java code.
PHP web frontend for configuring the Linux traffic controller.
Search for text and regular expressions recursively within an EAR file
programming language based on simple instruction
Rewrite of the CoffeeScript compiler with proper compiler design
Android virtual machines running on Openstack Clouds
A .NET Twitter Library