6 search results for "author:"Romain Bardou""

Showing 1 - 6
  1. clap
    Documentation
    Command-Line Argument Parsing, imperative style with a consumption mechanism
    Romain Bardou
    0.3.0
    MIT
    Used by 4 other packages
    27 Mar 2023
  2. fury-puyo
    Documentation
    Fury Puyo is a free clone of the Puyo Puyo game.
    Romain Bardou <romain@bardou.fr>
    0.5
    Used by 0 other packages
    21 Nov 2013
  3. mlpost
    Documentation
    OCaml library on top of Metapost
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 2 other packages
    15 Feb 2021
  4. mlpost-lablgtk
    Documentation
    Library for adding mlpost graphics in lablgtk
    Romain Bardou Francois Bobot Jean-Christophe Filliâtre Johannes Kanig Stephane Lescuyer
    0.9
    LGPL-2.1-only
    Used by 0 other packages
    15 Feb 2021
  5. procord
    Documentation
    Procord: a portable library to delegate tasks to other processes.
    Romain Bardou <romain.bardou@inria.fr>
    0.2.0
    Used by 0 other packages
    02 Sep 2014
  6. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018