regexp-Brzozowski vs re1-rust

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

regexp-Brzozowski		re1-rust
	Project
1	Mentions	1
12	Stars	1
-	Growth	-
3.9	Activity	3.9
7 months ago	Latest Commit	21 days ago
Coq	Language	Rust
MIT License	License	BSD 3-clause "New" or "Revised" License

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

regexp-Brzozowski

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

re1-rust

Posts with mentions or reviews of re1-rust. 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

What are some alternatives?

When comparing regexp-Brzozowski and re1-rust you can also consider the following projects:

analysis - Mathematical Components compliant Analysis Library

ocaml-re - Pure OCaml regular expressions, with support for Perl and POSIX-style strings

recross-coq - Regexp engine in Coq for solving regexp crosswords

math-comp - Mathematical Components

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

mcilroy-regex - Doug McIlroy's C++ regular expression matching library

brzozowski - Brzozowski derivative python sketch

redgrep - ♥ Janusz Brzozowski

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

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