Giters
SYSTEMF (epfl-systemf)

SYSTEMF

epfl-systemf

Geek Repo

Systems and Formalisms lab at EPFL (Prof. Pit-Claudel)

Github PK Tool:Github PK Tool

SYSTEMF's repositories

RegElk

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

Language:OCamlLicense:NOASSERTIONStargazers:12Issues:4Issues:0

Warblre

A Coq Mechanization of ECMAScript 2023 Regexes

Language:OCamlLicense:NOASSERTIONStargazers:4Issues:3Issues:0

re2-lookbehinds

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).

Language:C++License:BSD-3-ClauseStargazers:2Issues:1Issues:0

JumboTrace

Language:JavaLicense:MITStargazers:1Issues:1Issues:0

coq

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

optitrust

OptiTrust (w/ RVM case study)

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

rvm-compiler-project

Language:TeXStargazers:0Issues:2Issues:0

SpecMerger

Conformance Checker for Specifications

Language:PythonStargazers:0Issues:0Issues:0