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 supported. This note will be visible to only 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++ 157 63 Updated Mar 19, 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 46 14 Updated Mar 21, 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 780 115 Updated Nov 25, 2025

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

Assembly 29 12 Updated Jul 6, 2021

This (mirror) repo groups all parts of Jami.

Shell 260 58 Updated Apr 7, 2024

OpenDHT: a C++17 Distributed Hash Table implementation

C++ 1,122 189 Updated Mar 19, 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,522 1,448 Updated Mar 6, 2026

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

Python 945 534 Updated May 30, 2025

Linux kernel source tree

C 224,499 61,113 Updated Mar 21, 2026

Mirror of Gerrit Jami GNOME Client

C++ 77 20 Updated Feb 21, 2024

Mirror of Gerrit Jami Core Library and Daemon

C++ 162 56 Updated Mar 20, 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,369 3,456 Updated Mar 17, 2026

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

Python 26 20 Updated Aug 13, 2025

Python interface for igraph

Python 1,442 265 Updated Mar 9, 2026

Python One-Time Password Library

Python 3,286 351 Updated Jan 3, 2026