Top 13 turing-machine Open-Source Projects

• printbf

  6 586 0.0 Brainfuck

  Brainfuck interpreter inside printf

  

Project mention: Few lesser known tricks, quirks and features of C | news.ycombinator.com | 2023-07-01

Somewhat related to this, printf alone in a loop is Turing-complete, by using %-directives like that. It was introduced in “Control-Flow Bending: On the Effectiveness of Control-Flow Integrity” (Carlini, et al. 2015) and the authors have implemented Brainfuck and an obfuscated tic-tac-toe with it.

[0]: https://nebelwelt.net/publications/files/15SEC.pdf

[1]: https://github.com/HexHive/printbf

[2]: https://github.com/carlini/printf-tac-toe

• automata

  1 316 8.2 Python

  A Python library for simulating finite automata, pushdown automata, and Turing machines (by caleb531)

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• vim_turing_machine

  2 148 0.0 Python

  An implementation of a Turing machine using only normal mode Vim commands

• turing-machine

  4 76 1.8 Python

  A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine" as per CVE-2021-32471 (https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471)

• turing

  2 37 8.4 Go

  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers (by planetlambert)

  

Project mention: Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper | news.ycombinator.com | 2023-12-27

Hey all,

A while back I implemented Turing's "On Computable Numbers" paper [1], and decided that Schönfinkel's "On the Building Blocks of Mathematical Logic" would be a fun next one to try to implement.

Alongside the code I include a section-by-section guide to the paper. I apologize for any misreadings of the original text (of which there are probably many).

I'll probably continue to try to make guides/reference implementations for landmark CS papers, would love to hear what you think the most important ones are!

[1] https://github.com/planetlambert/turing

• fundamental

  2 17 4.3 C

  Software to look for interrelationships between constants and find formulas for number sequences (by djbarrow)

Project mention: How to calculate all possible sets of numbers whose sum equals a specific value | /r/mathematics | 2023-05-23

my program fundamental can do this check out https://github.com/djbarrow/fundamental

• automata-golf

  3 14 6.1 JavaScript

  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.

Project mention: A DSL for building automata: from finite-state machines to Turing machines | /r/ProgrammingLanguages | 2023-05-21

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• Dynamic-Stateless-Computer

  1 11 2.4

  I propose a new form of logic; Logic Geometry. Dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without mathematics, where the changing shape is the only information.

Project mention: How do you think it all started? | /r/Existentialism | 2023-12-07

https://github.com/johnphantom/Dynamic-Stateless-Computer/blob/master/calculator_simple.cfg (pulls the text up online, nothing to download).

• turing-machine

  2 9 6.0 Rust

  An improved Turing Machine made in Rust (by turing-marcos)

  

• turbine

  1 7 10.0 Rust

  A poorly coded configurable Turing machine, made with Rust and splash of ❤️ (by pickaxe828)

• CXXAutomata

  2 6 0.0 C++

  A C++ library for simulating automata and Turing machines

• CustomProcessor

  1 5 0.0 Python

  8-Bit computer following the design by Ben Eater

• turing_machine

  1 1 0.0 C

  A simple C program to emulate two symbol turing machine

turing-machine related posts

• Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper

  2 projects | news.ycombinator.com | 27 Dec 2023

• Show HN: The first complete open source implementation of Turing's famous paper

  2 projects | news.ycombinator.com | 17 Sep 2023

• Few lesser known tricks, quirks and features of C

  4 projects | news.ycombinator.com | 1 Jul 2023

• Controling a Super-Intelligent AI is Impossible, Says Researchers

  1 project | /r/tech | 14 Jun 2023

• Accidentally made an animation when creating a macro

  1 project | /r/vim | 12 Nov 2022

• Two Symbol Turing Machine

  1 project | dev.to | 27 Oct 2021

• Arbitrary Code Execution in the Universal Turing Machine Python Implementation

  1 project | news.ycombinator.com | 27 May 2021
• A note from our sponsor - InfluxDB
  www.influxdata.com | 16 May 2024

  Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com