Playing with LLVM and Typing
Primary LanguagePython
Squid is a low-level language with a fancy type system.
This will hopefully be evolving.