GitHub repository: xlq/aos
Primary language: Assembly
Description: Applied operating system - an operating system kernel written in the ATS programming language.