Skip to content
View hlef's full-sized avatar

Organizations

@unikraft @ubc-systopia @project-flexos @conffuzz

Block or report hlef

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The RTOS components for the CHERIoT research platform

C++ 163 65 Updated Jun 11, 2026

ConfFuzz NDSS Data Set

Shell 3 1 Updated Mar 9, 2023

ConfFuzz - Fuzzing for Interface Vulnerabilities

C++ 47 3 Updated May 1, 2023

Loupe: Syscall Usage Analysis Tool

Python 48 14 Updated Jun 16, 2026

FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository

C 19 4 Updated Apr 2, 2022

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 799 119 Updated Mar 25, 2026

Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).

Assembly 29 13 Updated Jul 6, 2021

This (mirror) repo groups all parts of Jami.

Shell 259 57 Updated Apr 7, 2024

OpenDHT: a C++17 Distributed Hash Table implementation

C++ 1,132 190 Updated Jun 15, 2026

Python library for configuring and building unikernels

Python 178 43 Updated Jan 18, 2023

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

C 3,677 1,464 Updated Jun 5, 2026

Modules to convert numbers to words. 42 --> forty-two

Python 956 542 Updated May 30, 2025

Linux kernel source tree

C 236,656 62,746 Updated Jun 16, 2026

Mirror of Gerrit Jami GNOME Client

C++ 77 20 Updated Feb 21, 2024

Mirror of Gerrit Jami Core Library and Daemon

C++ 165 56 Updated Jun 16, 2026

Mirror of Gerrit Jami Libclient (formerly LibRingClient, or LRC for short) Library

C++ 33 15 Updated Jul 11, 2023

A toolkit for making real world machine learning and data analysis applications in C++

C++ 14,400 3,452 Updated May 7, 2026

Mirrored from https://salsa.debian.org/qa/debsources

Python 28 20 Updated Aug 13, 2025

Python interface for igraph

Python 1,452 268 Updated May 14, 2026

Python One-Time Password Library

Python 3,312 354 Updated Jun 14, 2026