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.1.0
    ISC
    Used by 2 other packages
    04 Feb 2025
  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.
    30.0
    LGPL-2.1-only
    Used by 3 other packages
    16 Dec 2024
  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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 76 other packages
    03 Dec 2024
  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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Dec 2024
  5. ocamlformat-mlx

    No 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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    14 May 2025
  6. ocamlformat-mlx-lib

    No 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.27.0
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    14 May 2025
  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.27.0
    MIT
    Used by 4 other packages
    03 Dec 2024