Skip to content

The Linden Regex project aims to take a new look at modern regexes.

  • We work on new linear-time algorithms to match modern regex features.
  • We design and mechanize the semantics of real-world regex languages.
  • We write mechanized proofs of regex properties, and of the correctness of matching algorithms.

Check out the project homepage.

Pinned Loading

  1. Linden Linden Public

    Formal Verification for JavaScript Regular Expressions

    Rocq Prover 4

  2. RegElk RegElk Public

    Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24

    OCaml 22 3

  3. Warblre Warblre Public

    A Coq Mechanization of ECMAScript 2023 Regexes

    OCaml 12 3

Repositories

Showing 8 of 8 repositories

Top languages

Loading…

Most used topics

Loading…