Collection of helpful utilities we use in our Unity projects.

C++14 Finite State Machine library

Efficient and Precise Pointer-Tracking Data-Flow Framework

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

A pushdown automaton low memory JSON bytes stream checker

Implementation of a pushdown automaton (PDA) in Java for learning purposes

A C++ library for simulating automata and Turing machines

A generic syntactic and lexical analyzer (context-free grammar)

Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro

Framework for creating automatons

VUTBR - FIT: TIN 2018/2019

A very simple code showing the technique of how to solve expressions using RPN.

Processing Formal Languages and Automata Package

Solutions to practice session exercises from Theory of Algorithms at BUTE.

A simple free-form interpreted language for building Turing machines and other automata

Expression Calculator using Top Down Derivation

An implementation of the shunting yard algorithm by Edsger Dijkstra and a postfix stack evaluator.

Interpreter for Lutin language

Introduction to automata theory, languages and computation

A pushdown automaton toolkit for Ruby.