regexp-Brzozowski Alternatives

Similar projects and alternatives to regexp-Brzozowski

• .NET Runtime

  608 14,091 10.0 C# regexp-Brzozowski VS .NET Runtime

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

  

• regex

  91 3,345 9.1 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.

  

• InfluxDB

  www.influxdata.com featured

  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.

  

• ocaml-re

  2 228 5.8 OCaml regexp-Brzozowski VS ocaml-re

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

  

• brzozowski

  4 82 5.5 Python regexp-Brzozowski VS brzozowski

  Brzozowski derivative python sketch

• analysis

  1 180 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

• math-comp

  1 548 9.1 Coq regexp-Brzozowski VS math-comp

  Mathematical Components

  

• WorkOS

  workos.com featured

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• re1-rust

  1 1 3.9 Rust regexp-Brzozowski VS re1-rust

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

• redgrep

  4 150 5.8 C++ regexp-Brzozowski VS redgrep

  ♥ Janusz Brzozowski

  

• mcilroy-regex

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

  Doug McIlroy's C++ regular expression matching library

• fourcolor

  2 150 4.6 Coq regexp-Brzozowski VS fourcolor

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

  

• agda-regexp-automata

  1 15 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.