HelenOS's tracked open-source repos, sorted by stars.
A portable microkernel-based multiserver operating system written from scratch.
