Automata tools.
A tool for simulating and visualizing cellular automata in Rust
A customizable lexical analyser tool which also allows you to visualize the NFAs and DFAs generated.
The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata
Declarative Workflow Engine for UI Automation
Intermediate representation for Regular Expressions.
Elementary Cellular Automata for the terminal
A command line tool for using finite state transducers to compactly represents sets or maps of many strings (> 1 billion is possible). The command line tool exposes functionality to search FSTs using regular expressions, Levenshtein automata and range queries.
Run custom testcase with powerful clex language powered generated tool. Ideal for competitive coders. Can test two file and pass & match randomly generated outputs
A Simulation engine powered by MOMA
The second cellular autoamata experiment on crates.io
A command line tool for debugging, ad hoc benchmarking and generating regular expressions.