SYSTEMF
Popular repositories Loading
-
re2-lookbehinds
re2-lookbehinds PublicForked 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++ 3
-
-
coq
coq PublicForked 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
-
Repositories
- 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 development of machine-checked proofs.
- rust-regex Public Forked from rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
- rebar Public Forked from BurntSushi/rebar
A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.
-
- 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 (section 4.1).
- RegElk Public
Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…