There are 4 repositories under formal-languages topic.
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
All the homeworks, studies and projects I've done at Metu-CENG
A formalization of the textbook Elements of Set Theory
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
A python library to manipulate formal languages and various automata
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.
qualitative Sozialforschung: Textanalyse durch Sequenzanalyse, Grammatikinduktion, -transduktion, Parsen
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.
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.
Small little context-free expression generator and parser using user provided EBNF-like source.
VUTBR - FIT: TIN 2018/2019
Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)
Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Tool for review formal grammars in Bison/Lemon format
The PML analyzer is an open source API providing a simple DSL to build a description of the architecture of your chip based on the PHYLOG Modelling Language (PML).
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Turing game: Solve programming challenges by designing Turing machines!
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.
Solving balanced parentheses problem using Dart 3 type system
Homeworks given at Department of Computer Engineering, Middle East Technical University.