Examples of sum algebraic data types in C99


Solutions to challenges in Jens Gustedt's Modern C book


Arch Linux package of CURRENT branch of pkgsrc


Report and slides used in a talk about Models for Real-Time systems for Automatic System Verification course


Project from my Advanced Scheduling Systems course in CS master degree