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.
https://github.com/ark2016/tfl-automatisation
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: 11 days ago
JSON representation
Multi-agent pipelines for formal-languages problems (REG/CFL/DCFL/LL) with a local web UI. Powered by Claude + LangGraph.
- Host: GitHub
- URL: https://github.com/ark2016/tfl-automatisation
- Owner: ark2016
- License: mit
- Created: 2024-11-13T07:36:25.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2026-04-18T19:38:29.000Z (3 months ago)
- Last Synced: 2026-04-18T21:26:29.301Z (3 months ago)
- Topics: 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
- Language: Python
- Homepage:
- Size: 1.22 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0