regular-languages topic

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

pouyakary

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

coq-community

A python library to manipulate formal languages and various automata

Aunsiels