Synchronous Petri Nets' emulator
Dataflow parallel programming language for clusters
MatLab toolbox for magnetospheric and ionospheric science.
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Efficient Approximate Nearest Neighbors for General Metric Spaces
Iterative Data and Control Flow Analysis
A tool to generate synthetic test data useful to Record matchers
SOAP and webapp library for C++
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
MatLab functions for reading WinView/WinSpec .spe files
Static analyzer for Java bytecode
dimensionality-recursive vector quantization
Geospatial Web 3D Globe Project(To consider S.Korea market)