Skip to content

@LindenRegex LindenRegex

Change the repository type filter

All

    Repositories list

    13 repositories

    • babblre

      Public
      JS / WASM builds of 80+ regex engines.
      C
      •0•0•0•0•Updated Jul 25, 2026Jul 25, 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 Jul 24, 2026Jul 24, 2026

    • lindenregex.github.io

      Public
      HTML
      •0•0•0•0•Updated Jul 22, 2026Jul 22, 2026

    • viz

      Public
      Graphical explorer for JavaScript regex semantics using backtracking trees
      TypeScript
      •
      Other
      •0•0•0•0•Updated Jul 21, 2026Jul 21, 2026

    • Linden

      Public
      Formal Verification for JavaScript Regular Expressions
      javascriptregexlinear
      javascriptregexlinearrocqpikevm
      Rocq Prover
      •
      Other
      •1•15•0•4•Updated Jul 8, 2026Jul 8, 2026

    • Warblre

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

    • I-regexp_mechanization

      Public
      A Rocq mechanization of XSD and RFC 9485 (I-Regexp) regular expressions
      Rocq Prover
      •
      Other
      •0•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • VirtualTrees

      Public
      Rocq Prover
      •
      Other
      •0•0•0•0•Updated Jun 22, 2026Jun 22, 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
      •30•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
      •526•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.