formal-languages topic
btech-assignments
A repository of my BTech assignments for different papers.
pyformlang
A python library to manipulate formal languages and various automata
FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Appunti-LFC
Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento
deepsynth
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
algorithmisch-rekursive-sequenzanalyse
qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen
fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications