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++ 4
-
-
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
- 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 - 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 - librrd Public
Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.
epfl-systemf/librrd’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
Top languages
Loading…
Most used topics
Loading…