allkern/koala

A systems programming language with a rich type system

C++