Think Turing Complete

비슷한 프로덕트

설명이 비슷한 순

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

   github.com

   TypeScript's type system is Turing complete - let's abuse that!

   HNHacker News186점

2. Making a Compiler to Prove Tmux Is Turing Complete

   willhbr.net

   HNHacker News88점

3. Lambduck

   imjakingit.github.io

   a Functional Programming Brainfuck

   HNHacker News70점

4. React for Circuits

   github.com

   Create real electronics with Typescript and React

   HNHacker News197점

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

   HNHacker News17점