Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: regular-languages

Repositories

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: 14 days ago - Pushed: 14 days 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: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

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: about 2 months ago - Pushed: about 2 years ago - Stars: 137 - Forks: 7

coq-community/reglang

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

Language: Coq - Size: 529 KB - Last synced: 26 days ago - Pushed: 4 months ago - Stars: 40 - Forks: 6

Aunsiels/pyformlang

A python library to manipulate formal languages and various automata

Language: Python - Size: 510 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 32 - Forks: 9

bursasha/cpp-projects-advanced

Advanced programming and algorithmization in C++⚔️

Language: C++ - Size: 19.5 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

ctxppc/PatternKit

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

Language: Swift - Size: 316 KB - Last synced: 4 months ago - Pushed: over 2 years ago - Stars: 9 - Forks: 0

matheuspb/simone

Grammars, automata and regular expressions editor

Language: Python - Size: 118 KB - Last synced: 4 months ago - Pushed: about 6 years ago - Stars: 7 - Forks: 1

GBathie/property_test_regular

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

Language: C++ - Size: 84 KB - Last synced: 6 months ago - Pushed: almost 4 years 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: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

silvafj/focsimulation

Fundamentals of Computing - Learn through simulation

Language: TypeScript - Size: 8.98 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

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: 0 Bytes - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - 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: 11 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 1

Jaxan/nominal-lstar

Code for "Learning nominal automata"

Language: Haskell - Size: 156 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 10 - Forks: 0

henriquecolini/automata

Parses Formal Regular Expressions and outputs graphs.

Language: Rust - Size: 42 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

gamatos/gold

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

Language: C++ - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

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: 23 days ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0