Making a Compiler to Prove Tmux Is Turing Complete

비슷한 프로덕트

설명이 비슷한 순

1. Using SQL's Turing completeness to build Tetris

   github.com

   Using SQL's Turing Completeness to Build Tetris

   HNHacker News338점

2. TiGrIS

   github.com

   a tiling compiler that fits ML models onto embedded devices

   HNHacker News20점

3. Programming with Pure Lambda Calculus

   bruijn.marvinborner.de

   Functional programming language based on pure de Bruijn indexed lambda calculus.

   HNHacker News61점

4. Orbit a systems level programming language that compiles .sh to LLVM

   github.com

   A modern shell with functional programming synatx.

   HNHacker News17점

5. Axe

   axelang.org

   A Systems Programming Language with Builtin Parallelism and No GC

   HNHacker News16점