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 Damodaran. Open to pull requests and other forms of collaboration.

[ICLR 2022] Data-Efficient Graph Grammar Learning for Molecular Generation

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

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

A python library to manipulate formal languages and various automata

Generates random text based on context-free grammars defined in BNF

Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento

Moonad: a p2p academic journal, or a social network for code?

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.

A set of tools for analyzing languages via logic and automata

qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen

A repository of my BTech assignments for different papers.

DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

All the homeworks, testers and projects done at METU-CENG

Repositorio con materiales para la cursada del seminario sobre implementación computacional de gramáticas formales en la carrera de Letras de la Facultad de Filosofía y Letras de la Universidad de Buenos Aires.