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.

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

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

A place for automata

All the homeworks, studies and projects I've done at Metu-CENG

A formalization of the textbook Elements of Set Theory

A python library to manipulate formal languages and various automata

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 - Università di Trento

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

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

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

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

A repository of my BTech assignments for different papers.

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

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.