hlef Goto Github PK

app-sqlitebenchmark

cheriot-llvm

Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork

cheriot-rtos

The RTOS components for the CHERIoT research platform

cio-hotos23-data

dc18-ring-slides

Slides of Ring talk @DebConf18

docs

The front page and documentation for the Unikraft Open-Source Project.

faad2

Freeware Advanced Audio (AAC) Decoder faad2 mirror

gtk

Multi-platform toolkit

juliet

:cyclone: Lightweight static website generator

juliet-boots-theme

:smiling_imp: Clean Bootstrap theme for Juliet !

juliet-gram-theme

Content-focused Juliet theme.

lib-lwip

Unikraft port of the lwip network stack

lib-mimalloc

Port of mimalloc

lib-tinyalloc

Port of thi.ng/tinyalloc (https://github.com/thi-ng/tinyalloc) for Unikraft, an allocator

lib-tlsf

Port of TLSF for Unikraft, a general-purpose memory allocator

libming

SWF output library

libsndfile

A C library for reading and writing sound files containing sampled audio data..

linux

Linux kernel source tree

lupine-linux

Linux in Unikernel Clothing

num2words

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

openjpeg

Official repository of the OpenJPEG project

pocs

pysolfc

An awesome open source and portable collection of Solitaire games.

ring-client-gnome

Mirror of Gerrit Ring GNOME Client

ring-daemon

Mirror of Gerrit Ring Core Library and Daemon

ring-lrc

Mirror of Gerrit Ring LRC Library

ring-project

All-in-one Ring repository

rogmap

Lightweight roguelike map generator in pure C

rogmap-for-arduino

🗺️ Fork of hlef/rogmap for Arduino devices

rumprun

"Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend