formal-language
There are 13 repositories under formal-language topic.
princeton-nlp/dyck-transformer
[ACL 2021] Self-Attention Networks Can Process Bounded Hierarchical Languages
narteche/QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
CarsonScott/L-System-Grammar
A class for creating and implementing L-system grammars in python
MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
a37h/mipt_regular-expressions-automata
A somewhat sophisticated regular expression parser utilizing a finite automata
cpslab-asu/forek
Formal Requirements Toolkit
deepblueore/Euclid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
lpapailiou/fac
A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).
Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
diegolrs/NFA-nondeterministic-finite-automaton
NFA (nondeterministic finite automaton) simulator using C++
mierzejk-WAT/polish-notation
ANTLR-based (normal) Polish notation to .NET Framework compiler, with reflection and embedded scripting.
gaetanserre/Formal-Language-Algorithms
Algorithms for formal language written with Python 3 with nltk
Transparency-Information-Language/vocabularies
This repository deals with custom vocabularies that can be used to further specify fields of tilt (Transparency Information Language and Toolkit).