Repositories list

• 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

  •676•0•0•0•Updated Mar 27, 2025Mar 27, 2025

• grattlesnake-lang

  Public
  Scala

  •

  MIT License

  •2•1•0•0•Updated Jan 30, 2025Jan 30, 2025

• rvm-compiler-project

  Public
  TeX

  •1•0•0•0•Updated Oct 3, 2024Oct 3, 2024

• Warblre

  Public
  A Coq Mechanization of ECMAScript 2023 Regexes

  javascriptregexescoq+ 3test262regularexpressionsmechanization

  OCaml

  •

  Other

  •0•4•0•0•Updated Sep 27, 2024Sep 27, 2024

• optitrust

  Public
  OptiTrust (w/ RVM case study)

  OCaml

  •

  MIT License

  •2•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•2•0•0•Updated Aug 28, 2024Aug 28, 2024

• SpecMerger

  Public
  Conformance Checker for Specifications

  Python

  •0•0•0•0•Updated Aug 23, 2024Aug 23, 2024

• RegElk

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

  javascriptregexlinear

  OCaml

  •

  Other

  •0•12•0•0•Updated May 29, 2024May 29, 2024

• JumboTrace

  Public
  Java

  •

  MIT License

  •0•1•0•0•Updated Jan 5, 2024Jan 5, 2024