Making a Compiler to Prove Tmux Is Turing Complete

Similar products

by description similarity

1. Using SQL's Turing completeness to build Tetris

   github.com

   Using SQL's Turing Completeness to Build Tetris

   HNHacker News338 pts

2. You can program without loop and recursion and×÷- is all you need

   github.com

   a total and turing complete [?] programming language

   HNHacker News9 pts

3. TiGrIS

   github.com

   a tiling compiler that fits ML models onto embedded devices

   HNHacker News20 pts

4. Programming with Pure Lambda Calculus

   bruijn.marvinborner.de

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

   HNHacker News61 pts

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

   github.com

   A modern shell with functional programming synatx.

   HNHacker News17 pts