https://github.com/ark2016/tfl-automatisation

Multi-agent pipelines for formal-languages problems (REG/CFL/DCFL/LL) with a local web UI. Powered by Claude + LangGraph.

agents anthropic automata-theory bmstu bmstu-iu9 cfl claude dcfl formal-languages formal-languages-and-automata iu9 langgraph ll multi-agent pda regex regular tfl vpl

Last synced: 08 Jul 2026