academic

Cimice

CIMICE-R: A Bioconductor package implementing a (Markov) Chain Method to Infer Cancer Evolution. Also available as Java APP.

COLA

A COnstraint solver on LAttices.

DYNAMIC

A succint and compressed dynamic data structures library.

ERNE

Extended Randomized Numerical alignEr.

FIASCO

Fragment-based Interactive Assembly for protein Structure prediction with COnstraints.

GAM-NGS

Genome Assemblies Merger for Next Generation Sequencing.

ProPesca

A simple Java application for the analysis and identification of gene expression networks.

pyHybridAnalysis

A Python Package for the epsilon-Semantics Analysis of Hybrid Systems.

Sapo

A library for Reachability Computation and Parameter Synthesis of Polynomial Systems. Also available as a Web APP.

WGA-LP

WGA-LP: a pipeline for whole genome assembly of contaminated reads.