7 search results for "author:"Guillaume Petiot""

Showing 1 - 7
  1. dune-release
    Documentation
    Release dune packages in opam
    Daniel Bünzli Thomas Gazagnaire Nathan Rebours Guillaume Petiot Sonja Heinze
    2.2.1
    ISC
    Used by 5 other packages
    Added to opam-repository
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 3 other packages
    Added to opam-repository
  3. ocamlformat
    Documentation
    Auto-formatter for OCaml code
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.29.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 105 other packages
    Added to opam-repository
  4. ocamlformat-lib
    Documentation
    OCaml Code Formatter
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.29.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  5. ocamlformat-mlx
    Documentation
    Auto-formatter for OCaml .mlx code
    Andrey Popp <me@andreypopp.com> Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> et al.
    0.29.0.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  6. ocamlformat-mlx-lib
    Documentation
    OCaml .mlx Code Formatter
    Andrey Popp <me@andreypopp.com> Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> et al.
    0.29.0.1
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  7. ocamlformat-rpc-lib
    Documentation
    Auto-formatter for OCaml code (RPC mode)
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.29.0
    MIT
    Used by 6 other packages
    Added to opam-repository