formal-languages topic
bnfgen
Generates random text based on context-free grammars defined in BNF
Styleformer
A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Dam...
Set-Theory
A formalization of the textbook Elements of Set Theory
data_efficient_grammar
[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
CENG
All the homeworks, testers and projects done at METU-CENG
Gellish
Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Formal English and other Gellish formalized natural languages.
Language-Toolkit-2
A set of tools for analyzing languages via logic and automata
Moonad
Moonad: a p2p academic journal, or a social network for code?
Metu-CENG
All the homeworks, studies and projects I've done at Metu-CENG
flviz
FLVIz - Finite Automata Simulator written in QT/Graphviz