4 search results for "author:"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>""

Showing 1 - 4
  1. menhir

    No documentation

    An LR(1) parser generator
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20260209
    GPL-2.0-only
    Used by 159 other packages
    10 Feb 2026
  2. menhir-secondary

    No documentation

    Adds Menhir to ocaml-secondary-compiler
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20231231
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2024
  3. menhirLib

    No documentation

    Runtime support library for parsers generated by Menhir
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 26 other packages
    10 Feb 2026
  4. menhirSdk

    No documentation

    Compile-time library for auxiliary tools related to Menhir
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    10 Feb 2026