regexp-Brzozowski Alternatives

Similar projects and alternatives to regexp-Brzozowski

.NET Runtime

668 15,508 10.0 C# regexp-Brzozowski VS .NET Runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
CodeRabbit

coderabbit.ai featured

CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
regex

92 3,565 8.0 Rust regexp-Brzozowski VS regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
ocaml-re

2 234 9.7 OCaml regexp-Brzozowski VS ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings
math-comp

1 592 9.0 Coq regexp-Brzozowski VS math-comp

Mathematical Components
brzozowski

4 83 5.5 Python regexp-Brzozowski VS brzozowski

Brzozowski derivative python sketch
analysis

1 209 9.4 Coq regexp-Brzozowski VS analysis

Mathematical Components compliant Analysis Library (by math-comp)
recross-coq

1 0 10.0 Coq regexp-Brzozowski VS recross-coq

Regexp engine in Coq for solving regexp crosswords
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
re1-rust

1 2 3.9 Rust regexp-Brzozowski VS re1-rust

A port of re1, Russ Cox’s simple, virtual machine–based regular expression engine
mcilroy-regex

1 95 10.0 C++ regexp-Brzozowski VS mcilroy-regex

Doug McIlroy's C++ regular expression matching library
redgrep

4 159 5.8 C++ regexp-Brzozowski VS redgrep

♥ Janusz Brzozowski
agda-regexp-automata

1 16 10.0 Agda regexp-Brzozowski VS agda-regexp-automata

Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
fourcolor

3 174 4.9 Coq regexp-Brzozowski VS fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better regexp-Brzozowski alternative or higher similarity.

Suggest an alternative to regexp-Brzozowski

regexp-Brzozowski discussion

regexp-Brzozowski reviews and mentions

Posts with mentions or reviews of regexp-Brzozowski. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-07.

Show HN: Regex Derivatives (Brzozowski Derivatives)
10 projects | news.ycombinator.com | 7 Mar 2023

Thanks for sharing. I am not familiar with Agda. Will take a look. There is somewhat similar code in COQ: https://github.com/coq-community/regexp-Brzozowski

Stats

Basic regexp-Brzozowski repo stats

Mentions

Stars

Activity

3.3

Last Commit

5 months ago

coq-community/regexp-Brzozowski is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of regexp-Brzozowski is Coq.