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

Showing 1 - 3
  1. menhir
    Documentation
    An LR(1) parser generator
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20231231
    GPL-2.0-only
    Used by 165 other packages
    06 Jan 2024
  2. menhirLib
    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>
    20231231
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 20 other packages
    06 Jan 2024
  3. menhirSdk
    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>
    20231231
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 9 other packages
    06 Jan 2024