For exploring cellular automata like Conway's Game of Life.
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Reversible cellular automata
Cellular Automata library for SUPercomputers (CASUP)
Compiles regular expressions into modular NFA
LTL to deterministic Rabin automata translator based on LTL3BA
Visual & persistent families of models for CA, DEVS, and Statecharts
Translator of LTL formulae to Büchi automata based on LTL2BA
API for all possible cellular automata that work same at all angles
A graphical Finite State Machine (FSM) designer.
Bit level lambda continuations and nothing else - Queue automata
Puzzle game demonstrating whats so hard about binary integer factoring
Conway's Life pattern searcher
A tiny and very simple cellular automata simulator. Abandoned, ignore.