Tool support for the Z formal notation
Google maps for block game
This zip jar contains the current coverings of periodic paths.
Java Disk Benchmark Utility
MiRDeep*
JQM - Java Quine McCluskey for minimization of Boolean functions.
Extensible Line-drawing & Polygon-filling Rasterization Libs for Java
Multi-platform Variable Star Visualisation and Analysis
differential analysis of combinatorial protein complexes
An open source system for Arabic corpora processing
This is a very powerful Schematic and PCB layout tool for Engineer
Trasforma coordinate da epsg per google maps
Weka wrapper for the SGM toolkit for text classification and modeling.
Syndicate text and multimedia content with this API and storefront.
Tools to generate and visualize artificial whole slide images
LGPL GML parser
Apprendre les chants d'oiseau
Java API and tools for performing NLP and other AI tasks
Java Decision Diagrams (BDD) libraries: JDD and JBDD