Fast interpreter with macros, local type inference, LLVM backend. - View it on GitHub