Re1-rust Alternatives

Similar projects and alternatives to re1-rust

• .NET Runtime

  608 14,139 10.0 C# re1-rust VS .NET Runtime

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

  

• regex

  91 3,355 8.9 Rust re1-rust 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 re1-rust VS ocaml-re

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

  

• recross-coq

  1 0 10.0 Coq re1-rust VS recross-coq

  Regexp engine in Coq for solving regexp crosswords

• redgrep

  4 150 5.8 C++ re1-rust VS redgrep

  ♥ Janusz Brzozowski

  

• regexp-Brzozowski

  1 12 3.9 Coq re1-rust VS regexp-Brzozowski

  Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]

  

• agda-regexp-automata

  1 15 10.0 Agda re1-rust VS agda-regexp-automata

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

• SaaSHub

  www.saashub.com featured

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

  

• brzozowski

  4 82 5.5 Python re1-rust VS brzozowski

  Brzozowski derivative python sketch

• mcilroy-regex

  1 95 10.0 C++ re1-rust VS mcilroy-regex

  Doug McIlroy's C++ regular expression matching library