regular-languages

There are 0 repository 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

  orchestraregexporchestra-languagecompileridereadabilityelectronvisual-languagemonaco-editoreditorblocklykf-ui5regular-expressionkary-commentsregexregular-languagesregular-expression-enginevisual-languageskary-coding-umbrella
  Language:JavaScript 137

• coq-community / reglang

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

  coqmathcompregular-languagesssreflectregexpdocker-coq-actioncoq-platformmathcomp-cicoq-nix-toolbox
  Language:Coq 40

• Aunsiels / pyformlang

  A python library to manipulate formal languages and various automata

  regular-languageslanguage-theorypython-libraryformal-languagesautomataindexed-grammarsregexpythoncontext-free-grammarcontext-free-languagefinite-state-automatafinite-state-transducerregular-expressionpush-down-automata
  Language:Python 36

• Jaxan / nominal-lstar

  Code for "Learning nominal automata"

  paperautomatamachine-learninghaskellnlambdaregular-languages
  Language:Haskell 11

• subttle / regular

  Finite Automata and Regular Expressions for Regular Languages in Haskell

  regular-languagesfinite-state-automatadeterministic-finite-automatanon-deterministic-finite-automatonregular-expressionsregular-expressionregexpdfa-to-regexhaskell
  Language:Haskell 10

• caballa / covenant

  A Tool for Intersecting Context-Free Grammars

  context-free-grammarregular-languagesintersectionconcurrent-verification
  Language:C++ 9

• ctxppc / PatternKit

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

  swiftregular-expression-engineregular-languagessubsequencecapture
  Language:Swift 9

• matheuspb / simone

  Grammars, automata and regular expressions editor

  regular-languagesregular-grammarsregular-expressionsautomataregex
  Language:Python 9

• wzjoriv / MIPU

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

  regular-expressionsformal-languagespumping-lemmaeducational-technologyregular-languages
  Language:Java 3

• JinZhenlin / Theory-of-Computation

  Fun stuffs from my class.

  metacompilerregular-languages
  Language:Python 2

• silvafj / focsimulation

  Fundamentals of Computing - Learn through simulation

  automataautomata-simulatorautomata-theoryregular-languagestheory-of-computation
  Language:TypeScript 2

• Chalermsak-KU / RegLangProcessing

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

  theory-of-computationregular-languagesfinite-automata
  Language:HTML 1

• gamatos / gold

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

  cppdeterministic-finite-automatadfalearning-theoryregular-languages
  Language:C++ 1

• Nihilish / PDARun

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

  pushdown-automatontheory-of-computationcontext-free-languagejavaautomatadeterministic-finite-automatanon-deterministic-finite-automatonregular-languages
  Language:Java 1

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

  data-structurespythonpython-libraryre-to-nfaregular-expressionsregular-languagestheory-of-computation
  Language:Python 1

• yurrriq / word-processing-in-groups

  :book: Word Processing in Groups

  agdaautomatic-groupscombinatorial-group-theoryregular-languagesgroup-theory
  Language:TeX 1

• bursasha / cpp-projects-advanced

  Advanced programming and algorithmization in C++⚔️

  algorithms-and-data-structuresautomata-theoryavl-treebfscppcvut-fitdynamic-programminggrammarsgraph-algorithmsinformatics-engineeringprogrammingregular-languagesstltheoretical-computer-sciencetopsort
  Language:C++ 0

• henriquecolini / automata

  Parses Formal Regular Expressions and outputs graphs.

  computer-science-algorithmsregular-expressionregular-languagestheory-of-computation
  Language:Rust 0

• elenadj7 / regular-languages

  The library designed for working with regular languages

  dfaenfageneratorlexer-parserregexregular-expressionregular-languages
  Language:Java

• GBathie / property_test_regular

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

  regular-languagesregexpublication-codesublinear-algorithms
  Language:C++

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

  automata-theorycppregular-languagestheoretical-computer-science
  Language:C++

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

  automataregular-expressionregular-expressionsregular-expression-engineregular-languagesautomateafnafdcapuntadoresalphabetcadenaschomskythomsonturing-machine
  Language:C

• lucaspetry / regular-languages-manager

  Tool for manipulating Regular Languages

  formal-languagesregular-languagesregular-expressionfinite-state-machinefinite-state-automataparserjava
  Language:Java

• sColin16 / regular-languages

  A Python package to explore regular languages and their representations

  dfanfapythonregular-expressionsregular-languages
  Language:Python