Explore projects

A version of CompCert with

extra optimization a backend for the Kalray KVX core

A skitz compiler, made to compile mincaml as a University project.

Tongue Model

STM32 project for STM32F779I-EVAL with the library Minnow wich allow us to use WebSockets [ABORTED]

STM32 webserver using Berkeley Sockets (given example from STM32F7 package)

STM32 project for STM32F779I-EVAL with library CycloneTCP to be able to use WebSockets

Working in a compiler project using java

temporary repo for riscv 128-bit newlib

Linux kernel patched with KauNetEm support, a deterministic version of the NetEm emulation facility. Upstream: https://git.cs.kau.se/pub/kaunetem