JBernstein: Exploration techniques for non-linear constraint checking
luoyun
Web development IDE in browser, supports Java, ruby, javascript...etc
MatLab toolbox for magnetospheric and ionospheric science.
Virtual Machine containing a standard installation for PHP development
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Project has been move to https://github.com/ciaa/Firmware
(Android Forensics & Malware Analysis Included)
Tools to support the learning of the C programming language
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
An HDL alternative to PCB graphical schematic capture tools.
Search TODO, FIXME and similar comments in project files.
This project holds source code for Aspose for Hadoop project.
C++ library for POSIX systems.
Open Source Penetration Testing / Ethical Hacking Framework
Russian localization for Bugzilla