yedhukrishnan / turing-machine
My implementations of deterministic and non-deterministic turing machines
☆70Updated last year
Alternatives and similar repositories for turing-machine:
Users that are interested in turing-machine are comparing it to the libraries listed below
- rcor C compiler (under development)☆115Updated 7 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆86Updated 3 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- A work-in-progress JIT-powered regex engine☆110Updated 7 years ago
- Example of CPU simulation in software☆158Updated 9 years ago
- An example of PEG usage☆55Updated 8 years ago
- Describe C function prototypes in JSON.☆24Updated 9 years ago
- state machine visual debugger☆121Updated 10 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- 🔄 Flexible C memory allocation scheme☆78Updated last week
- Not because it is good, but because we can...☆167Updated 5 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- Scicademy is an open access student research journal/database.☆39Updated 8 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Schrödinger's Tcl☆30Updated 10 years ago
- X86_64 Linux webserver in assembler☆107Updated 9 years ago
- Not the smallest compiler ever☆20Updated 9 years ago
- Genetic BF programming☆60Updated 10 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- Simulation of common page replacement algorithms used by operating systems to manage memory usage.☆53Updated 9 years ago
- Sketchbook - Simple Teaching Assistant☆73Updated 4 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- interpreted language written in C☆210Updated 3 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆120Updated 12 years ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago
- Data structure server.☆181Updated 8 years ago
- Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html☆116Updated 2 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago