A novel Code transformation technique to guide test input generator
Decision solver for Counting Quantifiers over Unary Predicates
Gaussian Process Model Fitting
Placnet project
Volterra series Identification Tool
identification of sequence variant associated with splicing event
A tracker for the Arduino based handheld console Gamebuino
The incompressible Navier-Stokes equations solver in 2D domains
because touch-screen controls suck
Bayesian Estimation of Speciation and Extinction from Fossil Data
Geodynamic strain analysis software
Unicode DB Input Method for the Text Services Framework (MS Windows)
Facial Expression Recognition System - Matlab source code
An all purpose Distro for Pentesters
An input method for typing french.
Yet Another Finite Element Method Solver
Expand text, inverse summarizer
A tool for teaching simplex and branch & bound methods
Software for the reconstruction of plants using multiple camera views
Android Input Method for the Blind
Visualization of gravitational force effects between (two) objects
An open-source implementation of the HTM Cortical Learning Algorithms