Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with turing-completeness
A curated list of projects in awesome lists tagged with turing-completeness .
https://github.com/sdleffler/tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
rust rust-language turing-completeness turing-tarpit type-system types
Last synced: 28 Sep 2024
https://github.com/psibi/dhall-mode
configuration dhall turing-completeness
Last synced: 31 Jul 2024
https://github.com/gokselgoktas/brainfuck
An optimizing Brainfuck compiler & interpreter
compiler interpreter language llvm programming-language source-to-source turing-completeness
Last synced: 03 Aug 2024