Litex is a simple formal language Learnable in 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

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.

[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

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

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

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

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

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

FLVIz - Finite Automata Simulator written in QT/Graphviz

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

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

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

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