[evolveyourmind]

Some other type-only TS projects:

- RegExp matching through types: https://github.com/desi-ivanov/ts-regexp

- Lambda calculus through types: https://github.com/desi-ivanov/ts-lambda-calc

- Brainfuck through types: https://github.com/susisu/typefuck

[joshuakgoldberg]

These are wonderful, thank you!