Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with regular-languages
A curated list of 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: 05 Nov 2024
https://github.com/coq-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: 12 Nov 2024
https://github.com/yurrriq/word-processing-in-groups
:book: Word Processing in Groups
agda automatic-groups combinatorial-group-theory group-theory regular-languages
Last synced: 17 Nov 2024
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
Last synced: 23 Nov 2024
https://github.com/gamatos/gold
A proof of concept C++ application for learning regular languages
cpp deterministic-finite-automata dfa learning-theory regular-languages
Last synced: 14 Dec 2024
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 programming regular-languages stl theoretical-computer-science topsort
Last synced: 16 Dec 2024
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: 13 Nov 2024
https://github.com/rynanda/discrete-structures-psa
Using Python, discrete structures, and mathematical concepts to solve two real world problems.
discrete-structures finite-state-automata linear-algebra mathematics python regex regular-languages
Last synced: 20 Nov 2024
