owst/xdot.py
Interactive viewer for graphs written in Graphviz's dot language.
A C# implementation of pushdown automata.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Interactive viewer for graphs written in Graphviz's dot language.
A very simple NFA toolset: parsing from a custom format, outputting in graphviz DOT format and subset construction to form DFAs
Official upstream development repository for Cabal and cabal-install
Basic conditional operators with monadic variants.