Skip to content

@LindenRegex LindenRegex

Change the repository type filter

All

    Repositories list

    10 repositories

    • Linden

      Public
      Formal Verification for JavaScript Regular Expressions
      javascriptregexlinear
      javascriptregexlinearrocqpikevm
      Rocq Prover
      •
      Other
      •1•15•0•3•Updated Jun 30, 2026Jun 30, 2026

    • Warblre

      Public
      A Rocq Mechanization of ECMAScript 2023 Regexes
      javascriptregexescoq
      javascriptregexescoqtest262regularexpressionsmechanization
      OCaml
      •
      Other
      •4•16•2•2•Updated Jun 25, 2026Jun 25, 2026

    • VirtualTrees

      Public
      Rocq Prover
      •
      Other
      •0•0•0•0•Updated Jun 22, 2026Jun 22, 2026

    • RegElk

      Public
      Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24
      javascriptregexlinear
      javascriptregexlinear
      OCaml
      •
      Other
      •3•25•0•0•Updated Jun 21, 2026Jun 21, 2026

    • lindenregex.github.io

      Public
      HTML
      •0•0•0•0•Updated Jun 4, 2026Jun 4, 2026

    • .github

      Public
      0•0•0•0•Updated Mar 23, 2026Mar 23, 2026

    • rebar

      Public
      A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.
      Python
      •
      The Unlicense
      •31•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • rust-regex

      Public
      An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
      Rust
      •
      Apache License 2.0
      •515•1•0•2•Updated Mar 20, 2026Mar 20, 2026

    • SpecMerger

      Public
      Conformance Checker for Specifications
      Python
      •1•1•0•0•Updated Dec 3, 2025Dec 3, 2025

    • re2-lookbehinds

      Public
      This fork extends the RE2 regex engine with support for captureless lookbehinds. This implements the algorithm described in the Linear Matching of JavaScript Re…
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1.2k•4•0•0•Updated Aug 28, 2024Aug 28, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.