Applied operating system - an operating system kernel written in the ATS programming language. - View it on GitHub