Perl-based tool for evaluating multiple sequence alignments
Application for managing land searches for missing persons.
Web Mapping Platform
Translator of LTL formulae to Büchi automata based on LTL2BA
Automated Irrigation Controller for computers
Tools for reading the track data of the project "Leave a Trace"
Suite of community detection algorithms based on Modularity
The study environment of ancient languages (Coptic, Greek, Latin)
(RoboSim) Java based Robot Localization and Path Planner Simulator.
Tool for conducting systematic literature reviews and studies
console-mode visual binary diff
Dicom PACS solution for free.
error function and related functions in pure standard Fortran 2008
modflow laboratory
Software for studying bacterial colony features
A C++ framework that uses inhibition trees for behaviour control.
You Only Meter Once - The open hardware smart metering system
The incompressible Navier-Stokes equations solver in 2D domains
A C++ framework that implements generalised finite state machines.