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

Showing 1 - 4
  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 177 other packages
    16 Jul 2024
  2. menhir-secondary
    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
    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 22 other packages
    16 Jul 2024
  4. 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 10 other packages
    16 Jul 2024