A Neural Language Style Transfer framework to transfer natural language ...
[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation
Easiest-ever formal methods language! Designed for developers crafting d...
All the homeworks, studies and projects I've done at Metu-CENG
A place for automata
A formalization of the textbook Elements of Set Theory
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
FLVIz - Finite Automata Simulator written in QT/Graphviz
Generates random text based on context-free grammars defined in BNF
Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Unive...
Moonad: a p2p academic journal, or a social network for code?
Development of the Gellish Communicator reference application and tools ...