The development version of the L4Re Microkernel

A proof-of-concept microkernel that runs WebAssembly natively.

State of the art for unikernels

translate scientific papers in latex, especially arxiv papers

glider is a forward proxy with multiple protocols support, and also a dns/dhcp server with ipset management features(like dnsmasq).

A cross platform local DNS server (Dnsmasq like) written in rust to obtain the fastest website IP for the best Internet experience, supports DoT, DoQ, DoH, DoH3.

A curated list of awesome embedded programming.

LTSC 1809 (x64 and x86) without Windows Store!

Enarx: Confidential Computing with WebAssembly

Package distribution for Bibi UWP app

Unikernel Linux

Official firmware of Hiwifi Routers.