← Latest products

Conway's Game of Life in TypeScript's type system

TypeScript's type system is Turing complete - let's abuse that! TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...

Open source

101 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7 pts

  2. Hyke

    github.com

    a programming language that runs on TypeScript's type system

    Hacker News38 pts

  3. Typical is TypeScript with type-safety at runtime

    typical.elliots.dev

    Spent a week in the break building a pre-compiler that brings type safety to runtime.

    Hacker News8 pts

  4. type-kanren

    github.com

    type-level microKanren in TypeScript

    Hacker News5 pts

  5. Think Turing Complete

    play.simten.dev

    but you write the circuits in TypeScript (WIP)

    Hacker News22 pts