← 최신 프로덕트

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...

오픈소스

100 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Think Turing Complete

    play.simten.dev

    but you write the circuits in TypeScript (WIP)

    Hacker News22점

  2. Hyke

    github.com

    a programming language that runs on TypeScript's type system

    Hacker News38점

  3. TypeScript as a proof assistant for intuitionistic propositional logic

    gist.github.com

    TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.

    Hacker News17점

  4. Algorithms and Data Structures in TypeScript

    amoilanen.github.io

    Free Book (~400 Pages)

    Hacker News65점

  5. Zero-codegen

    github.com

    no-compile TypeScript type inference from Protobufs

    Hacker News138점