Explore projects

TRACK tracking and analysis system for weather, climate and ocean data.

Puppet module to install and manage NoMchine NX software

Solving XCSP3 problems using xcsp2c and CBMC

Code and report for the overshooting tests

use r10k to deploy Linux desktop on Linux virtual or physical computer