Hugo Lefeuvre's Projects
Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
The RTOS components for the CHERIoT research platform
Slides of Ring talk @DebConf18
The front page and documentation for the Unikraft Open-Source Project.
Freeware Advanced Audio (AAC) Decoder faad2 mirror
Multi-platform toolkit
:cyclone: Lightweight static website generator
:smiling_imp: Clean Bootstrap theme for Juliet !
Content-focused Juliet theme.
Unikraft port of the lwip network stack
Port of mimalloc
Port of thi.ng/tinyalloc (https://github.com/thi-ng/tinyalloc) for Unikraft, an allocator
Port of TLSF for Unikraft, a general-purpose memory allocator
SWF output library
A C library for reading and writing sound files containing sampled audio data..
Linux kernel source tree
Linux in Unikernel Clothing
Modules to convert numbers to words. 42 --> forty-two
Official repository of the OpenJPEG project
An awesome open source and portable collection of Solitaire games.
Mirror of Gerrit Ring GNOME Client
Mirror of Gerrit Ring Core Library and Daemon
Mirror of Gerrit Ring LRC Library
All-in-one Ring repository
Lightweight roguelike map generator in pure C
πΊοΈ Fork of hlef/rogmap for Arduino devices
"Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend