Synthesizing embedded control software from formal specifications
Dicom PACS solution for free.
Generating PLC programs from formal specifications
Create hyperlinks just by dragging, find contacts instantly, ...
Compute protein graphs. Moved to https://github.com/MolBIFFM/PTGLtools
Eclipse Repository for Code Converters
open source web survey software social tool
Weka wrapper for the SGM toolkit for text classification and modeling.
Canreg5 is a software package for population based cancer registries
A Java package for the LDA and DMM topic models
The OSGi first software artifact repository
Designed by me during idle time
Piggydb helps you have more fun with knowledge creation.
Java Swing component for integrating OSM maps into your Java app.
An extension for BlueJ that counts logical lines of code.
Lightweight framework for handling biological and bioinformatical data
A pure Java library for machine learning
A platform independent apk installer app!!
sparse and dense matrix, linear algebra, visualization, big data