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

A python library to manipulate formal languages and various automata

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

Code for "Learning nominal automata"

Finite Automata and Regular Expressions for Regular Languages in Haskell

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

A Tool for Intersecting Context-Free Grammars

Grammars, automata and regular expressions editor

A Regular Languages Simulator to help CS students understand and experiment with everything Regular Languages 📕 Includes Regular Expressions (Regexes), DFAs, NFAs, as well as functionality and UI for converting back and forth between them ♻️

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

Fundamentals of Computing - Learn through simulation

Fun stuffs from my class.

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

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.

📖 Word Processing in Groups

Advanced programming and algorithmization in C++ ⚔️

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

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.

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

A Python package to explore regular languages and their representations