regular-languages

There are 27 repositories under regular-languages topic.

  • Orchestra

    pouyakary/Orchestra

    One language to be RegExp's Successor. Visually readable and rich, technically safe and extended, naturally scalable, advanced, and optimized

    Language:JavaScript1405237

  • Aunsiels/pyformlang

    A python library to manipulate formal languages and various automata

    Language:Python4541410

  • coq-community/reglang

    Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

    Language:Coq418147

  • Jaxan/nominal-lstar

    Code for "Learning nominal automata"

    Language:Haskell11511

  • ctxppc/PatternKit

    A Swift library for writing & manipulating patterns for matching on collections.

    Language:Swift10320

  • subttle/regular

    Finite Automata and Regular Expressions for Regular Languages in Haskell

    Language:Haskell102141

  • caballa/covenant

    A Tool for Intersecting Context-Free Grammars

    Language:C++9310

  • matheuspb/simone

    Grammars, automata and regular expressions editor

    Language:Python9231

  • igreat/regular-languages-simulator

    A Regular Languages Simulator to help CS students understand and experiment with everything Regular Languages 📕 Includes Regular Expressions (Regexes), DFAs, NFAs, as well as functionality and UI for converting back and forth between them ♻️

    Language:TypeScript4102

  • wzjoriv/MIPU

    Active learning tool designed to explore the pumping lemma property for regular language

    Language:Java3211

  • JinZhenlin/Theory-of-Computation

    Fun stuffs from my class.

    Language:Python2100

  • silvafj/focsimulation

    Fundamentals of Computing - Learn through simulation

    Language:TypeScript2111

  • bursasha/cpp-advanced-projects

    Advanced programming and algorithmization in C++ ⚔️

    Language:C++1100

  • Chalermsak-KU/RegLangProcessing

    Python module for processing finite automata and regular expressions for use in the Theory of Compuation course

    Language:HTML1200

  • gamatos/gold

    A proof of concept C++ application for learning regular languages

    Language:C++1100

  • grachale/intersect_union_regular_languages

    Implementation of an algorithm that enables finding the minimal deterministic finite automaton that accepts the intersection or union of languages defined by a pair of finite automata.

    Language:C++1100

  • Nihilish/PDARun

    Simple interpreter for PDA programs (Language for designing and testing pushdown automatas)

    Language:Java1100

  • reity/are

    Library for defining and working with abstract regular expressions that support strings/sequences with elements of any symbol type, with an emphasis on supporting scenarios in which it is necessary to work with regular expressions as abstract mathematical objects.

    Language:Python1200

  • yurrriq/word-processing-in-groups

    :book: Word Processing in Groups

    Language:TeX120

  • Anduis/AutomatonConverter

    Transforming a regular expression into a nondeterministic automaton, then into a deterministic automaton, and back to a regular expression.

    Language:Java0100

  • GBathie/property_test_regular

    Efficient C++ implementation of a property tester for regular expressions/languages.

    Language:C++0100

  • henriquecolini/automata

    Parses Formal Regular Expressions and outputs graphs.

    Language:Rust0100

  • josevandermeulen/Simplifier

    This project aims to simplify regular expressions using unique identifiers for equivalent expressions. It integrates various representations of regular languages and provides efficient algorithms for simplification and conversion. The system includes an additional layer for optimizing expression size using a Union-Find structure.

    Language:Java0100

  • nanochanuwu/FP

    Group project for the course Functional Programming (2023/24) at the University of Amsterdam

    Language:Haskell0100

  • JoelRomero97/Teoria-Computacional

    Prácticas relacionadas a la teoría del lenguaje, gramáticas, AFD, AFN y una máquina de Turing que realiza una suma de 2 números binarios en lenguaje C.

    Language:C101

  • lucaspetry/regular-languages-manager

    Tool for manipulating Regular Languages

    Language:Java00

  • sColin16/regular-languages

    A Python package to explore regular languages and their representations

    Language:Python10