automata
turing
| automata | turing | |
|---|---|---|
| 1 | 2 | |
| 312 | 37 | |
| - | - | |
| 8.6 | 8.4 | |
| about 1 month ago | 5 months ago | |
| Python | Go | |
| MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
automata
-
Python library for simulating finite automata
I recommend looking at https://github.com/caleb531/automata which is another automata library in Python (also for pushdown automata, Turing machines) I've found useful in the past. One thing that wasn't so great about it was the assumption that states and symbols are Python strings. Using tuples mostly works, but sometimes it still breaks.
turing
-
Show HN: A reference implementation of Schönfinkel's Combinatory Logic paper
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
- Show HN: The first complete open source implementation of Turing's famous paper
What are some alternatives?
visual-automata - Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
mathlib4 - The math library of Lean 4
vim_turing_machine - An implementation of a Turing machine using only normal mode Vim commands
printbf - Brainfuck interpreter inside printf
netzob - Netzob: Protocol Reverse Engineering, Modeling and Fuzzing
turbine - A poorly coded configurable Turing machine, made with Rust and splash of ❤️
CXXAutomata - A C++ library for simulating automata and Turing machines
fundamental - Software to look for interrelationships between constants and find formulas for number sequences
python-statemachine - Python Finite State Machines made easy.
TuringMachine - A Turing machine interpreter made in Java using Processing libraries.
turing-machine - 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)