formal-languages

There are 245 repositories under formal-languages topic.

  • PrithivirajDamodaran/Styleformer

    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.

    Language:Python475171563

  • fizzbee-io/fizzbee

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

    Language:Python134666

  • gmh14/data_efficient_grammar

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

    Language:Jupyter Notebook932424
  • automatarium

    automatarium/automatarium

    A place for automata

    Language:TypeScript6832128

  • ysyesilyurt/Metu-CENG

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

    Language:Jupyter Notebook653010

  • choukh/Set-Theory

    A formalization of the textbook Elements of Set Theory

    Language:Coq59214

  • knowsys/FormaleSysteme

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

    Language:TeX44111714

  • Aunsiels/pyformlang

    A python library to manipulate formal languages and various automata

    Language:Python3941010

  • wkoszek/flviz

    FLVIz - Finite Automata Simulator written in QT/Graphviz

    Language:HTML3630

  • dmbaturin/bnfgen

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

    Language:OCaml34434

  • filippodaniotti/Appunti-LFC

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

    Language:TeX332349
  • Moonad

    moonad/Moonad

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

    Language:JavaScript28557

  • AndriesSHP/Gellish

    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.

    Language:Python25765
  • algorithmisch-rekursive-sequenzanalyse

    pkoopongithub/algorithmisch-rekursive-sequenzanalyse

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

    Language:Jupyter Notebook23100

  • vvulpes0/Language-Toolkit-2

    A set of tools for analyzing languages via logic and automata

    Language:Haskell23400

  • grockious/deepsynth

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

    Language:Python18212

  • kadircet/CENG

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

    Language:Jupyter Notebook16405

  • meganindya/btech-assignments

    A repository of my BTech assignments for different papers.

    Language:Jupyter Notebook16214

  • owl-toolkit/owl

    Language:Java15300

  • mehanix/teme-fmi

    🎓 Homework/Coursework during my bachelor's in Computer Science

    Language:Haskell10300

  • fernandocar86/seminario-gramaticas-formales

    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.

    Language:GAP82017

  • negativefnnancy/NanGram

    Small little context-free expression generator and parser using user provided EBNF-like source.

    Language:Python7201

  • zambonin/rltools

    regular language tools - automata-based tokenizer, LL(1) parser

    Language:Python6501

  • europ/VUTBR-FIT-TIN

    VUTBR - FIT: TIN 2018/2019

    Language:TeX5302

  • IDSIA/fwp-formal-lang

    Official repository for the paper "Practical Computational Power of Linear Transformers and Their Recurrent and Self-Referential Extensions" (EMNLP 2023)

    Language:Cuda5401

  • jakubriegel/PUTflap

    Extension of JFLAP. Provides command line interface, automaton and words generation and JSON results. Written in Kotlin.

    Language:Java530

  • marcofavorito/pythogic

    A Python package for deal with logical formulas and formal systems (e.g. FOL)

    Language:Python530

  • masyagin1998/TFL

    ИУ9. Теория формальных языков. Ыкстрымально сложнааааа

    Language:Python5100

  • melihovv/grammar_review_tool

    Tool for review formal grammars in Bison/Lemon format

    Language:PHP56662
  • pml-analyzer

    onera/pml-analyzer

    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).

    Language:Scala53140

  • SerenGTI/Theo_Inf

    Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

    Language:TeX5100

  • DenizBasgoren/turing

    Turing game: Solve programming challenges by designing Turing machines!

    Language:JavaScript4202

  • ElNiak/awesome-formal-verification

    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.

    4200

  • micycle1/PFLAP

    Processing Formal Languages and Automata Package

    Language:Java4301

  • shilangyu/balanced-parentheses-dart-3

    Solving balanced parentheses problem using Dart 3 type system

    Language:Dart4200

  • zeynepozalp/Coursework

    Homeworks given at Department of Computer Engineering, Middle East Technical University.

    Language:C4201