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: 23 Aug 2025

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

OCaml as a Tactic Language for the Rocq Prover

ltac2 ocaml rocq rocq-prover

Last synced: 15 Jun 2026

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

PPX syntax extensions for quoting Rocq terms in OCaml

ocaml ppx ppx-rewriter rocq rocq-prover

Last synced: 15 Jun 2026

https://github.com/epfl-systemf/dvar-track

An Emacs Lisp dynamic variable reference tracker

Last synced: 15 Jun 2026

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

Last synced: 19 Oct 2025

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

Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.

Last synced: 20 Sep 2025

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

Last synced: 15 Jun 2026

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

Conformance Checker for Specifications

Last synced: 26 Oct 2025

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

Formal Verification for JavaScript Regular Expressions

Last synced: 20 Sep 2025