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

clap
Command-Line Argument Parsing, imperative style with a consumption mechanism
Romain Bardou
0.2.0
MIT
Used by 1 other packages
fury-puyo
Fury Puyo is a free clone of the Puyo Puyo game.
Romain Bardou <romain@bardou.fr>
0.5
Used by 0 other packages
mlpost
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
mlpost-lablgtk
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
procord
Procord: a portable library to delegate tasks to other processes.
Romain Bardou <romain.bardou@inria.fr>
0.2.0
Used by 0 other packages
why
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