regexp-Brzozowski VS math-comp

Compare regexp-Brzozowski vs math-comp and see what are their differences.

regexp-Brzozowski

Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov] (by coq-community)
coq mathcomp ssreflect docker-coq-action
Source Code
Suggest alternative
Edit details

math-comp

Mathematical Components (by math-comp)
coq ssreflect mathcomp
Source Code
math-comp.github.io
Suggest alternative
Edit details
InfluxDB - Power Real-Time Data Analytics at Scale
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 math-comp
1 1
12 551
- 1.8%
3.9 9.1
7 months ago 8 days ago
Coq Coq
MIT 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.

math-comp

Posts with mentions or reviews of math-comp. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-06-18.

What are some alternatives?

When comparing regexp-Brzozowski and math-comp you can also consider the following projects:

analysis - Mathematical Components compliant Analysis Library

UniMath - This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

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

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

coq-simple-io - IO for Gallina

brzozowski - Brzozowski derivative python sketch

coq-library-undecidability - A library of mechanised undecidability proofs in the Coq proof assistant.

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

aneris - Program logic for developing and verifying distributed systems

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

rupicola - Gallina to Bedrock2 compilation toolkit

regexp-Brzozowski vs analysis math-comp vs UniMath regexp-Brzozowski vs ocaml-re math-comp vs analysis regexp-Brzozowski vs recross-coq math-comp vs coq-simple-io regexp-Brzozowski vs brzozowski math-comp vs coq-library-undecidability regexp-Brzozowski vs re1-rust math-comp vs aneris regexp-Brzozowski vs .NET Runtime math-comp vs rupicola