hlef
Systems & Security Researcher. Postdoc at UBC. Free software enthusiast. Retired Debian Developer.
University of British ColumbiaVancouver, BC
Pinned Repositories
gtk
Read-only mirror of https://gitlab.gnome.org/GNOME/gtk
app-sqlitebenchmark
cheriot-llvm
Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
cio-hotos23-data
rogmap
Lightweight roguelike map generator in pure C
jami-daemon
Mirror of Gerrit Jami Core Library and Daemon
linux
Linux kernel source tree
unikraft
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
hlef's Repositories
hlef/rogmap
Lightweight roguelike map generator in pure C
hlef/cio-hotos23-data
hlef/app-sqlitebenchmark
hlef/cheriot-llvm
Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork
hlef/cheriot-rtos
The RTOS components for the CHERIoT research platform
hlef/dc18-ring-slides
Slides of Ring talk @DebConf18
hlef/docs
The front page and documentation for the Unikraft Open-Source Project.
hlef/faad2
Freeware Advanced Audio (AAC) Decoder faad2 mirror
hlef/gtk
Multi-platform toolkit
hlef/juliet
:cyclone: Lightweight static website generator
hlef/juliet-gram-theme
Content-focused Juliet theme.
hlef/lib-lwip
Unikraft port of the lwip network stack
hlef/lib-mimalloc
Port of mimalloc
hlef/lib-tinyalloc
Port of thi.ng/tinyalloc (https://github.com/thi-ng/tinyalloc) for Unikraft, an allocator
hlef/lib-tlsf
Port of TLSF for Unikraft, a general-purpose memory allocator
hlef/libming
SWF output library
hlef/libsndfile
A C library for reading and writing sound files containing sampled audio data..
hlef/linux
Linux kernel source tree
hlef/Lupine-Linux
Linux in Unikernel Clothing
hlef/num2words
Modules to convert numbers to words. 42 --> forty-two
hlef/openjpeg
Official repository of the OpenJPEG project
hlef/PySolFC
An awesome open source and portable collection of Solitaire games.
hlef/ring-project
All-in-one Ring repository
hlef/rumprun
"Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend
hlef/solo5
A sandboxed execution environment for unikernels
hlef/src-netbsd
Mirror of NetBSD sources useful with rump kernels
hlef/unikraft
Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
hlef/unikraft-meeting-notes
Archive of Unikraft Technical Meetings.
hlef/verona
Research programming language for concurrent ownership
hlef/xmotd
message of the day browser for X