An experimental bytecode interpreter / type-checker for type-level Typescript - View it on GitHub