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 4 other packages
    28 Mar 2026
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 4 other packages
    08 Dec 2025
  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 94 other packages
    18 Mar 2026
  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
    18 Mar 2026
  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.28.1.2
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Jan 2026
  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.28.1.2
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    27 Jan 2026
  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 5 other packages
    18 Mar 2026