An open source E-ink smartwatch
High-performance read alignment, quantification and mutation discovery
an interactive "rolling paper" calculator
A gradient-based augmented Lagrangian framework for embedded NMPC
A Numerical MRI Simulation Platform
Translator of LTL formulae to Büchi automata based on LTL2BA
You Only Meter Once - The open hardware smart metering system
Library for spherical harmonic transforms (SHT)
Automatic segmentation and tracking for 3D time-lapse microscopy
'Hierarchical Bond Graph Modelling of Biochemical Networks'
multiple sequence alignment on CUDA-enabled GPUs.
Biological Imaging Software suite
Polyhedron paper building