Repository to store DLCM Module backends

Repository for DLCM user portal

Repository to store Angular core components for Solidify framework

Repository for AoU user portal

Repository to store AoU Module backends

A formalization of the Polonius borrow checker model RustLog

Repository to store Java libraries of Solidify framework

Python implementation of the Model-Twin Randomization (MoTR) method.

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