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++ 2
-
-
-
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
Repositories
- rebar Public Forked from BurntSushi/rebar
A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.
epfl-systemf/rebar’s past year of commit activity - 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.
epfl-systemf/rust-regex’s past year of commit activity - 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.
epfl-systemf/coq’s past year of commit activity - rvm-compiler-project Public
epfl-systemf/rvm-compiler-project’s past year of commit activity - 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).
epfl-systemf/re2-lookbehinds’s past year of commit activity
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…