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: 01 Aug 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: 27 Sep 2024