formal-languages

There are 251 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:Python480171563

  • fizzbee-io/fizzbee

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

    Language:Python1695189

  • gmh14/data_efficient_grammar

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

    Language:Jupyter Notebook952426
  • automatarium

    automatarium/automatarium

    A place for automata

    Language:TypeScript7132128

  • ysyesilyurt/Metu-CENG

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

    Language:Jupyter Notebook683010

  • choukh/Set-Theory

    A formalization of the textbook Elements of Set Theory

    Language:Coq59214

  • Aunsiels/pyformlang

    A python library to manipulate formal languages and various automata

    Language:Python4541410

  • knowsys/FormaleSysteme

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

    Language:TeX44121714

  • dmbaturin/bnfgen

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

    Language:OCaml36434

  • wkoszek/flviz

    FLVIz - Finite Automata Simulator written in QT/Graphviz

    Language:HTML3630
  • algorithmisch-rekursive-sequenzanalyse

    pkoopongithub/algorithmisch-rekursive-sequenzanalyse

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

    Language:Jupyter Notebook34100

  • filippodaniotti/Appunti-LFC

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

    Language:TeX3323511
  • 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

  • vvulpes0/Language-Toolkit-2

    A set of tools for analyzing languages via logic and automata

    Language:Haskell24400

  • grockious/deepsynth

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

    Language:Python21212

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

    17201

  • 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:Java15301

  • mehanix/teme-fmi

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

    Language:Haskell12300

  • UniModal4Reasoning/GeoX

    Code for GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training

    Language:Python12

  • johnsonstephan/awesome-web3-formal-verification

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

    11100

  • 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

  • krishnachandran-u/pykleene

    Python library for building and simulating automata and formal grammars

    Language:Python8

  • negativefnnancy/NanGram

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

    Language:Python7201
  • 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:Scala63170

  • 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

  • SerenGTI/Theo_Inf

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

    Language:TeX5100

  • shilangyu/balanced-parentheses-dart-3

    Solving balanced parentheses problem using Dart 3 type system

    Language:Dart4200