Some other type-only TS projects: - RegExp matching through types: https://github.com/desi-ivanov/ts-regexp https://github.com/desi-ivanov/ts-regexp - Lambda

Some other type-only TS projects: - RegExp matching through types: https://github.com/desi-ivanov/ts-regexp https://github.com/desi-ivanov/ts-regexp - Lambda calculus through types: https://github.com/desi-ivanov/ts-lambda-calc https://github.com/desi-ivanov/ts-lambda-calc - Brainfuck through types: https://github.com/susisu/typefuck https://github.com/susisu/typefuck