7 search results for "author:"Yann Régis-Gianas""

Showing 1 - 7
  1. crontab
    Documentation
    Interacting with cron from OCaml
    Yann Régis-Gianas <yann.regis-gianas@irif.fr>
    0.1
    MIT
    Used by 0 other packages
    04 Apr 2019
  2. ktdeque

    No documentation

    Kaplan-Tarjan persistent real-time deque, with O(1) catenation
    data-structures deque persistent rocq kaplan-tarjan
    Yann Régis-Gianas
    0.2.0
    MIT
    Used by 0 other packages
    18 Jun 2026
  3. menhir
    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 165 other packages
    10 Feb 2026
  4. 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
  5. 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>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 28 other packages
    10 Feb 2026
  6. 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>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    10 Feb 2026
  7. morbig
    Documentation
    A trustworthy parser for POSIX shell
    Yann Régis-Gianas <yann.regis-gianas@irif.fr> Ralf Treinen <ralf.treinen@irif.fr> Nicolas Jeannerod <niols@niols.fr>
    0.11.0
    GPL-3.0-only
    Used by 0 other packages
    18 Apr 2023