hlef

rogmap

Lightweight roguelike map generator in pure C

cio-hotos23-data

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

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-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

PySolFC

An awesome open source and portable collection of Solitaire games.

ring-project

All-in-one Ring repository

rumprun

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

solo5

A sandboxed execution environment for unikernels

src-netbsd

Mirror of NetBSD sources useful with rump kernels

unikraft

Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)

unikraft-meeting-notes

Archive of Unikraft Technical Meetings.

verona

Research programming language for concurrent ownership

xmotd

message of the day browser for X