Agda-regexp-automata Alternatives

Similar projects and alternatives to agda-regexp-automata

• .NET Runtime

  608 14,139 10.0 C# agda-regexp-automata VS .NET Runtime

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

  

• regex

  91 3,355 8.9 Rust agda-regexp-automata 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 229 8.6 OCaml agda-regexp-automata VS ocaml-re

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

  

• re1-rust

  1 1 3.9 Rust agda-regexp-automata VS re1-rust

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

• redgrep

  4 150 5.8 C++ agda-regexp-automata VS redgrep

  ♥ Janusz Brzozowski

  

• brzozowski

  4 82 5.5 Python agda-regexp-automata VS brzozowski

  Brzozowski derivative python sketch

• recross-coq

  1 0 10.0 Coq agda-regexp-automata 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

  

• mcilroy-regex

  1 95 10.0 C++ agda-regexp-automata VS mcilroy-regex

  Doug McIlroy's C++ regular expression matching library

• regexp-Brzozowski

  1 12 3.9 Coq agda-regexp-automata VS regexp-Brzozowski

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