Skip to content

@epfl-systemf SYSTEMF

Change the repository type filter

All

    Repositories list

    17 repositories

    • RegElk

      Public
      Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24
      javascriptregexlinear
      OCaml
      •
      Other
      •1•19•0•0•Updated Dec 12, 2025Dec 12, 2025

    • Linden

      Public
      Formal Verification for JavaScript Regular Expressions
      Rocq Prover
      •
      Other
      •0•2•0•1•Updated Dec 12, 2025Dec 12, 2025

    • Warblre

      Public
      A Coq Mechanization of ECMAScript 2023 Regexes
      javascriptregexescoqtest262regularexpressionsmechanization
      OCaml
      •
      Other
      •3•10•0•1•Updated Dec 5, 2025Dec 5, 2025

    • logical-pinning

      Public
      Rocq Prover
      •0•0•0•0•Updated Dec 4, 2025Dec 4, 2025

    • SpecMerger

      Public
      Conformance Checker for Specifications
      Python
      •1•0•0•0•Updated Dec 3, 2025Dec 3, 2025

    • librrd

      Public
      Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.
      Scala
      •
      MIT License
      •0•3•0•0•Updated Nov 28, 2025Nov 28, 2025

    • coq

      Public
      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.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •703•1•0•0•Updated Nov 24, 2025Nov 24, 2025

    • rust-regex

      Public
      An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
      Rust
      •
      Apache License 2.0
      •488•1•0•2•Updated Nov 10, 2025Nov 10, 2025

    • rebar

      Public
      A biased barometer for gauging the relative speed of some regex engines on a curated set of tasks.
      Python
      •
      The Unlicense
      •21•0•0•0•Updated Nov 3, 2025Nov 3, 2025

    • dvar-track

      Public
      An Emacs Lisp dynamic variable reference tracker
      C
      •0•1•0•0•Updated Oct 20, 2025Oct 20, 2025

    • scala3

      Public
      The Scala 3 compiler, also known as Dotty.
      Scala
      •
      Apache License 2.0
      •1.1k•0•0•1•Updated Sep 24, 2025Sep 24, 2025

    • v8-regex-jit

      Public
      Adding a linear regex engine with native compilation
      C++
      •
      Other
      •4.2k•1•0•0•Updated Jul 18, 2025Jul 18, 2025

    • grattlesnake-lang

      Public
      Scala
      •
      MIT License
      •2•1•0•0•Updated Jan 30, 2025Jan 30, 2025

    • rvm-compiler-project

      Public
      TeX
      •2•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • optitrust

      Public
      OptiTrust (w/ RVM case study)
      OCaml
      •
      MIT License
      •5•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • re2-lookbehinds

      Public
      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).
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1.2k•4•0•0•Updated Aug 28, 2024Aug 28, 2024

    • JumboTrace

      Public
      Java
      •
      MIT License
      •0•1•0•0•Updated Jan 5, 2024Jan 5, 2024