С практической стороны: Kraken. Ниже идёт прикладной обзор.