https://github.com/epfl-systemf/regelk

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

javascript linear regex

Last synced: 19 Apr 2025

https://github.com/epfl-systemf/warblre

A Coq Mechanization of ECMAScript 2023 Regexes

coq javascript mechanization regexes regularexpressions test262

Last synced: 10 Feb 2025

https://github.com/epfl-systemf/jumbotrace

Last synced: 09 Mar 2025

https://github.com/epfl-systemf/specmerger

Conformance Checker for Specifications

Last synced: 09 Mar 2025