Name:
RegElk
Description:
Linear regex engine for JavaScript in OCaml
Professor — Lab:
Clément Pit-ClaudelSystems and Formalisms Lab

Layman description:
This project provides a software implementation of a regular expression engine for matching text patterns in JavaScript. It has efficient linear time and space complexity for advanced features like lookarounds and capture groups. The engine is written in OCaml and aims to improve privacy-preserving and digital trust by offering a reliable and efficient regex matching solution.
Technical description:
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".
Papers:
Project status:
active — entered showcase: 2024-04-14 — entry updated: 2024-04-14

Source code:
Lab Github - last commit: 2024-04-04
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Library
Programming language:
OCaml
License:
MIT