Projects in Awesome Lists tagged with pushdown-automaton
A curated list of projects in awesome lists tagged with pushdown-automaton .
https://github.com/archoninteractive/swissarmylib
Collection of helpful utilities we use in our Unity projects.
automata events game-development gamedev gamedev-library object-pool optimization optimize performance pooling pushdown-automaton service-locator state-machine timers unity unity-library unity3d unity3d-plugin utilities
Last synced: 03 Oct 2025
https://github.com/ArchonInteractive/SwissArmyLib
Collection of helpful utilities we use in our Unity projects.
automata events game-development gamedev gamedev-library object-pool optimization optimize performance pooling pushdown-automaton service-locator state-machine timers unity unity-library unity3d unity3d-plugin utilities
Last synced: 15 Aug 2025
https://github.com/zmij/afsm
C++14 Finite State Machine library
afsm cpp cpp14 cpp14-library finite-state-machine fsm fsm-library pushdown-automata pushdown-automaton state-machine
Last synced: 10 May 2025
https://github.com/ilyasergey/reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
abstract-garbage-collection control-flow-analysis k-cfa pushdown-automaton scheme
Last synced: 05 Oct 2025
https://github.com/kerollmops/oxidized-json-checker
A pushdown automaton low memory JSON bytes stream checker
checker json low-memory pushdown-automaton rust streaming
Last synced: 06 Oct 2025
https://github.com/zigrazor/cxxautomata
A C++ library for simulating automata and Turing machines
automata automata-learning automata-machines-simulator automata-processor automata-simulator automata-theory automatas automaton cpp cpp-lib cpp-library deterministic-finite-automaton deterministic-turing-machine dpda finite-automaton hacktoberfest non-deterministic-finite-automaton non-deterministic-turing-machine pushdown-automaton turing-machine
Last synced: 26 Mar 2025
https://github.com/europ/vutbr-fit-tin
VUTBR - FIT: TIN 2018/2019
completeness complexity computer-science context-free decidability finite-state-automaton finite-state-machine fit formal-languages pushdown-automaton recursive recursively-enumerable reduction regular tin turing-machine vut vutbr
Last synced: 23 Jan 2026
https://github.com/rafael-santiago/expr
A very simple code showing the technique of how to solve expressions using RPN.
automata-theory automatas calculator compiler-design compiler-principles compsci computer-science interpreters pushdown-automaton rpn tutorial-code
Last synced: 09 Apr 2025
https://github.com/micycle1/pflap
Processing Formal Languages and Automata Package
automata automatons awt cp5 dfa dpa formal-languages machine p5 p5js processing processing-library processing-sketch pushdown-automaton swing
Last synced: 28 Apr 2025
https://github.com/gyakobo/recognizing-context-free-languages-with-a-pda
The following project should define a PDA that in its turn would recognize a specific context-free language.
context-free-language proofs pushdown-automaton python3 theoretical-computer-science
Last synced: 06 Jun 2026
https://github.com/ged/pushdown
A pushdown automaton toolkit for Ruby.
automaton pushdown-automaton state-machine
Last synced: 15 Jun 2025
https://github.com/sskender/automata-theory
Introduction to automata theory, languages and computation
automata automaton dfa dfa-minimization epsilon-nfa fer nfa pushdown-automata pushdown-automaton
Last synced: 22 Mar 2025
https://github.com/harsha-vardhan-tangudu/theory-of-computation-designing-pda-turingmachine-safe-submarine-battle
Designing Pushdown Automata and Turing machine for Safe Submarine Battle
jflap pda push-down-automata pushdown-automaton theory-of-computation toc toc-project turing-machine turing-machine-concept
Last synced: 06 Mar 2026
https://github.com/archetipo95/esercizi-automi-e-linguaggi-formali
Raccolta esercizi svolti in jflap 8 beta durante il corso di Automi e Linguaggi Formali.
alf automata esercizi jflap pushdown-automaton regular-expression turing-machine
Last synced: 23 Sep 2025
https://github.com/jeffque/bash-java-enums-parser-butwhyyy
A jornada para fazer um parser de enums java em bash
bash dfa formal-grammars java pushdown-automaton talks
Last synced: 11 May 2026
