Repository to store DLCM Module backends

Repository to store Java libraries of Solidify framework

Repository for DLCM user portal

Description of the project here: http://www.unige.ch/grammateus

Repository to store Angular core components for Solidify framework

Repository to store AoU Module backends

Repository for AoU user portal

A formalization of the Polonius borrow checker model

Repository to store authorization server of Solidify framework