GitHub repository: zackradisic/tyvm
Primary language: Zig
Description: An experimental bytecode interpreter / type-checker for type-level Typescript