A tool for finite state machine analysis and synthesis.
Pattern-based multi/many-core parallel programming framework
Generate and solve Travelling Salesman Problem tasks
Converts between many 3D data formats
Real-Time Processing Library for OSHW Biomedical Sensors
An Embedded C++ Domain-Specific Language
MRS/NMR analysis software
finds the sortest path on the square board. GUI is implemented in Qt.
Basic Artificial Neural Network
Axis Transformation Object Recognition
Library Roman/Arabic for GCC (C++)
A multi-purpose extensible self-adaptive evolutionary algorithm
One of the most accurate multiple protein sequence aligners
a very lightweight advanced terrain-rendering and 3D map rendering sys
Connecting Overlapped Pair-End Reads
A package for Isogeometric Analysis in Octave and Matlab
Smith-Waterman long DNA sequence alignment on Xeon Phi clusters