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>
    20240715
    GPL-2.0-only
    Used by 171 other packages
    16 Jul 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>
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    16 Jul 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>
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    16 Jul 2024