5 search results for "author:"Rodolphe Lepigre <lepigre@mpi-sws.org>""

Showing 1 - 5
  1. bindlib
    Documentation
    OCaml Bindlib library for bound variables
    Rodolphe Lepigre <lepigre@mpi-sws.org> Christophe Raffalli <christophe@raffalli.eu
    6.0.0
    LGPL-3.0
    Used by 2 other packages
    01 Mar 2022
  2. earley
    Documentation
    Parsing library based on Earley Algorithm
    Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
    3.0.0
    CeCILL-B_V1
    Used by 2 other packages
    29 Sep 2020
  3. pacomb
    Documentation
    Parsing library based on combinators and ppx extension to write languages
    Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
    1.3
    MIT
    Used by 0 other packages
    30 Jul 2023
  4. patoline
    Documentation
    Patoline typesetting system and libraries
    Pierre-Étienne Meunier Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org> Tom Hirschowitz Florian Hatat <patoline@hatat.me>
    0.2
    GPL-2.0; GPL-3.0
    Used by 0 other packages
    30 May 2022
  5. timed
    Documentation
    Timed references for imperative state
    Christophe Raffalli <christophe@raffalli.eu Rodolphe Lepigre <lepigre@mpi-sws.org>
    1.1
    MIT
    Used by 1 other packages
    05 Aug 2022