Litex: The First Formal Language Learnable in 1-2 Hours

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

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.

A formalization of the textbook Elements of Set Theory

A python library to manipulate formal languages and various automata

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

[ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

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

FLVIz - Finite Automata Simulator written in QT/Graphviz

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

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

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

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