Topic: "regular-languages"
pouyakary/Orchestra 📦
One language to be RegExp's Successor. Visually readable and rich, technically safe and extended, naturally scalable, advanced, and optimized
Language: JavaScript - Size: 37.9 MB - Last synced at: 16 days ago - Pushed at: about 3 years ago - Stars: 141 - Forks: 7
Aunsiels/pyformlang
A python library to manipulate formal languages and various automata
Language: Python - Size: 443 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 47 - Forks: 10
rocq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Language: Coq - Size: 552 KB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 42 - Forks: 7
Jaxan/nominal-lstar
Code for "Learning nominal automata"
Language: Haskell - Size: 163 KB - Last synced at: 13 days ago - Pushed at: 6 months ago - Stars: 11 - Forks: 1
ctxppc/PatternKit
A Swift library for writing & manipulating patterns for matching on collections.
Language: Swift - Size: 316 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0
caballa/covenant
A Tool for Intersecting Context-Free Grammars
Language: C++ - Size: 622 KB - Last synced at: 8 days ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0
matheuspb/simone
Grammars, automata and regular expressions editor
Language: Python - Size: 118 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 7 - Forks: 1
fnordomat/NorwegianBlue
Steganographic use of regular languages, inspired by fteproxy. At the moment I don't have the time to develop it any further ...
Language: C++ - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
wzjoriv/MIPU
Active learning tool designed to explore the pumping lemma property for regular language
Language: Java - Size: 3.11 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
silvafj/focsimulation
Fundamentals of Computing - Learn through simulation
Language: TypeScript - Size: 8.98 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1
bursasha/cpp-advanced-projects
Advanced programming and algorithmization in C++ ⚔️
Language: C++ - Size: 402 KB - Last synced at: 19 days ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
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++ - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
gamatos/gold
A proof of concept C++ application for learning regular languages
Language: C++ - Size: 66.4 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
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: Python - Size: 77.1 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
yurrriq/word-processing-in-groups
:book: Word Processing in Groups
Language: TeX - Size: 39.1 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
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: Java - Size: 144 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
nanochanuwu/FP
Group project for the course Functional Programming (2023/24) at the University of Amsterdam
Language: Haskell - Size: 2.06 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
Anduis/AutomatonConverter
Transforming a regular expression into a nondeterministic automaton, then into a deterministic automaton, and back to a regular expression.
Language: Java - Size: 8.79 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
rynanda/Discrete-Structures-PSA
Using Python, discrete structures, and mathematical concepts to solve two real world problems.
Size: 179 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
henriquecolini/automata
Parses Formal Regular Expressions and outputs graphs.
Language: Rust - Size: 42 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sColin16/regular-languages
A Python package to explore regular languages and their representations
Language: Python - Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
GBathie/property_test_regular
Efficient C++ implementation of a property tester for regular expressions/languages.
Language: C++ - Size: 84 KB - Last synced at: 29 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
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: C - Size: 16.2 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
lucaspetry/regular-languages-manager
Tool for manipulating Regular Languages
Language: Java - Size: 1.13 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
