Popular repositories Loading

1. RegElk RegElk Public

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

   OCaml 19

2. Warblre Warblre Public

   A Coq Mechanization of ECMAScript 2023 Regexes

   OCaml 10 2

3. re2-lookbehinds re2-lookbehinds Public

   Forked from google/re2

   This fork extends the RE2 regex engine with support for captureless lookbehinds. This implements the algorithm described in the Linear Matching of JavaScript Regular Expressions PLDI 2024 paper (se…

   C++ 4

4. librrd librrd Public

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

   Scala 2

5. JumboTrace JumboTrace Public

   Java 1

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1