GitHub topics: formal-language
ewdlop/Prompt-Engineering.md
Ask ChatGPT to response in Non-axiomatic Mathematics;套路;話術;我有內鬼，我素內鬼，曾有內鬼，曾有賢內助, 賢內助?
Language: Python - Size: 395 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
princeton-nlp/dyck-transformer
[ACL 2021] Self-Attention Networks Can Process Bounded Hierarchical Languages
Language: Python - Size: 39 MB - Last synced at: 19 days ago - Pushed at: almost 4 years ago - Stars: 12 - Forks: 2
lpapailiou/fac
A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).
Language: Java - Size: 2.46 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1
a37h/mipt_regular-expressions-automata 📦
A somewhat sophisticated regular expression parser utilizing a finite automata
Language: C++ - Size: 204 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Language: Java - Size: 21.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
gaetanserre/Formal-Language-Algorithms 📦
Algorithms for formal language written with Python 3 with nltk
Language: Python - Size: 64.5 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
diegolrs/NFA-nondeterministic-finite-automaton
NFA (nondeterministic finite automaton) simulator using C++
Language: C++ - Size: 853 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
mierzejk-WAT/polish-notation
ANTLR-based (normal) Polish notation to .NET Framework compiler, with reflection and embedded scripting.
Language: C# - Size: 3.64 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
MuvvalaKaran/LTLCtrlSyn
Synthesis of a controller for system with linear dynamics using restricted LTL formula
Language: C - Size: 5.58 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
deepblueore/Euclid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Language: C++ - Size: 273 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
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).
Size: 23.4 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
narteche/QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Language: Python - Size: 36.7 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0
CarsonScott/L-System-Grammar
A class for creating and implementing L-system grammars in python
Language: Python - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1
