Some experimentation for allowing students to compet for speed/size on practical exercises using ARM assembly language.

Slides of my presentation for the Datazero Workshop at Besançon, October 2019.

Compiler for the 'Auto' language, an academic language based on Finite State Machines for embedded, reactive software. Uses Bison/Flex for parsing and constructing an AST, LLVM to generate the intermediate language and to compile for the real target.

A simple and approximated Chord protocol implementation using Java RMI (made for Distributed System Conception classes).

FiXos SHell. A shell made for FiXos to be able to mess around with your calc and test things without having to recompile everything.

FiXos kernel.