pushdown-automaton topic

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

ilyasergey

C++14 Finite State Machine library

zmij

Collection of helpful utilities we use in our Unity projects.

ArchonInteractive

Efficient and Precise Pointer-Tracking Data-Flow Framework

CROSSINGTUD