Le laboratoire développe actuellement 3 logiciels : HYPERBASE, le THESOC, et (dans une moindre mesure) ARBOLING.
Les autres logiciels présentés ci-dessous étaient historiquement développés au laboratoire BCL, mais ne sont actuellement plus maintenus, soit parce que leurs auteurs sont partis à la retraite, soit parce que leurs modes de financement ont cessés d’exister.