Tool support for the Z formal notation
A linguistic annotation store
IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
Model, simulate, and analyze biochemical systems using one tool.
Meta-Model Management based on RDFs Revision Reflection
General data-reduction tool for fiber-fed integral-field spectrographs
GPS track editor for editing tracks and planning (multiple) day tours
Java Disk Benchmark Utility
Jiddu Krishnamurti's Book of Life|Libro de la Vida
Web app to cross-check publication/authorship against CrossRef
structural variant detector
Measurement and Automation Framework + Tool
Develop a user written Data Envelopment Analysis package in Stata.
Pascal Units for Medical Applications
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
GUI based steel structure calculation and optimization tool.
Frevo is probably the simplest tool for evolutionary design
a Small (Matlab/Octave) Toolbox for Kriging
Software to control and analyze Tausand Abacus coincidence devices
automation tool to analyze Foucault test results of parabolic mirrors
Refine the spectral library to enhance its completeness and coverage.