RegElk

RegElk

Linear regex engine for JavaScript in OCaml

This is a linear regular expression engine for a subset of JavaScript regexes, implemented in OCaml. It supports features like nullable quantifiers, capture reset, and lookarounds with linear time and space complexity. The engine is based on an extension of the PikeVM algorithm, described in the paper "Linear Matching of JavaScript Regular Expressions".

DevelopmentOptimization
Key facts
Maturity
Support
C4DT
Inactive
Lab
Active
  • Technical
  • Research papers

Systems and Formalisms Lab

Systems and Formalisms Lab
Clément Pit-Claudel

Prof. Clément Pit-Claudel

We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel. We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems.

This page was last edited on 2024-04-14.