Projects in Awesome Lists tagged with regular-languages

https://github.com/pouyakary/Orchestra

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

blockly compiler editor electron ide kary-coding-umbrella kary-comments kf-ui5 monaco-editor orchestra orchestra-language readability regex regexp regular-expression regular-expression-engine regular-languages visual-language visual-languages

Last synced: 06 Apr 2025

https://github.com/rocq-community/reglang

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

coq coq-nix-toolbox coq-platform docker-coq-action mathcomp mathcomp-ci regexp regular-languages ssreflect

Last synced: 17 Mar 2026

https://github.com/jaxan/nominal-lstar

Code for "Learning nominal automata"

automata haskell machine-learning nlambda paper regular-languages

Last synced: 10 Apr 2025

https://github.com/caballa/covenant

A Tool for Intersecting Context-Free Grammars

concurrent-verification context-free-grammar intersection regular-languages

Last synced: 14 Apr 2025

https://github.com/wzjoriv/mipu

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

educational-technology formal-languages pumping-lemma regular-expressions regular-languages

Last synced: 22 Jul 2025

https://github.com/bursasha/cpp-advanced-projects

Advanced programming and algorithmization in C++ ⚔️

algorithms-and-data-structures automata-theory avl-tree bfs cpp cvut-fit dynamic-programming grammars graph-algorithms informatics-engineering multithreading optimization-algorithms programming regular-languages stl theoretical-computer-science thread-synchronization topsort

Last synced: 03 Apr 2025

https://github.com/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-theory cpp regular-languages theoretical-computer-science

Last synced: 25 Jun 2025

https://github.com/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-structures python python-library re-to-nfa regular-expressions regular-languages theory-of-computation