GitHub repository: susisu/typefuck
Primary language: TypeScript
Description: Type-level Brainfuck interpreter in TypeScript