MichiganTypeScript/typescript-types-only-wasm-runtime

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

2404 stars · 36 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A WebAssembly runtime implemented entirely in TypeScript's type system, with no JavaScript runtime code, capable of compiling and executing WASM instructions at the type level. It was built as a demonstration project to prove that Doom can run in TypeScript types.

Use cases

• run doom in typescript types
• execute wasm at compile time
• explore type-level programming in typescript
• demonstrate turing completeness of the type system
• learn advanced typescript type gymnastics
• implement arithmetic in typescript types

When to choose

• you want a striking educational demo of type-level programming
• you're exploring the limits of TypeScript's type system
• you need a novelty showcase for a talk or article

When to avoid

• you need a production WebAssembly runtime
• you want a maintained or extensible project
• performance matters at all
• you expect community support or PRs

Facets

library · maturity abandoned

interpreter compiler type-system wasm programming-languages compilers developer-tools cross-platform typescript-types wasm-runtime type-level-programming doom novelty compile-time-computation typescript nodejs

Member repositories

For agents

markdown · JSON · MCP: product_card(name="MichiganTypeScript/typescript-types-only-wasm-runtime")