27 search results for "author:"Samuel Hym""

Showing 1 - 27
  1. conf-aarch64-linux-gnu-gcc

    No documentation

    Virtual package relying on the aarch64-linux-gnu-gcc compiler (for C)
    Samuel Hym
    1
    GPL-2.0-or-later
    Used by 2 other packages
    11 Jun 2025
  2. conf-x86_64-linux-gnu-gcc

    No documentation

    Virtual package relying on the x86_64-linux-gnu-gcc compiler (for C)
    Samuel Hym
    1
    GPL-2.0-or-later
    Used by 2 other packages
    11 Jun 2025
  3. gospel
    Documentation
    A tool-agnostic formal specification language for OCaml
    Jean-Christophe Filliâtre Samuel Hym Cláudio Lourenço Nicolas Obsorne Clément Pascutto et al.
    0.3.1
    MIT
    Used by 3 other packages
    18 Mar 2026
  4. mirage-block-unikraft
    Documentation
    Unikraft implementation of MirageOS block interface
    org:mirage
    Fabrice Buoro <fabrice@tarides.com> Samuel Hym <samuel@tarides.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    29 Jun 2025
  5. mirage-unikraft
    Documentation
    Unikraft core platform libraries for MirageOS
    org:mirage
    Fabrice Buoro Samuel Hym
    1.0.0
    MIT
    Used by 2 other packages
    29 Jun 2025
  6. ocaml-unikraft
    Documentation
    Virtual package to install one of the OCaml default cross compilers to the freestanding Unikraft backends
    org:mirage
    Samuel Hym
    1.2.0
    MIT
    Used by 2 other packages
    09 Jul 2026
  7. ocaml-unikraft-arm64
    Documentation
    OCaml cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    1.2.0
    MIT; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2026
  8. ocaml-unikraft-backend-firecracker
    Documentation
    Virtual package to ensure the Firecracker Unikraft backend is installed for the default cross compiler
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 0 other packages
    09 Jul 2026
  9. ocaml-unikraft-backend-firecracker-arm64

    No documentation

    Firecracker/arm64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    1.2.0-0.20.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    09 Jul 2026
  10. ocaml-unikraft-backend-firecracker-x86_64

    No documentation

    Firecracker/x86_64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    1.2.0-0.20.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    09 Jul 2026
  11. ocaml-unikraft-backend-qemu
    Documentation
    Virtual package to ensure the QEMU Unikraft backend is installed for the default cross compiler
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 0 other packages
    09 Jul 2026
  12. ocaml-unikraft-backend-qemu-arm64

    No documentation

    QEMU/arm64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    1.2.0-0.20.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    09 Jul 2026
  13. ocaml-unikraft-backend-qemu-x86_64

    No documentation

    QEMU/x86_64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    1.2.0-0.20.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    09 Jul 2026
  14. ocaml-unikraft-default-arm64
    Documentation
    OCaml default cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    1.2.0
    MIT
    Used by 3 other packages
    09 Jul 2026
  15. ocaml-unikraft-default-x86_64
    Documentation
    OCaml default cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    1.2.0
    MIT
    Used by 3 other packages
    09 Jul 2026
  16. ocaml-unikraft-option-9pfs

    No documentation

    Virtual package to enable 9pfs storage in the Unikraft backends
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 0 other packages
    09 Jul 2026
  17. ocaml-unikraft-option-debug

    No documentation

    Virtual package to enable debugging in the Unikraft backends
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 0 other packages
    09 Jul 2026
  18. ocaml-unikraft-toolchain-arm64

    No documentation

    C toolchain to build an OCaml cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 1 other packages
    09 Jul 2026
  19. ocaml-unikraft-toolchain-x86_64

    No documentation

    C toolchain to build an OCaml cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    1.2.0-0.20.0
    MIT
    Used by 1 other packages
    09 Jul 2026
  20. ocaml-unikraft-x86_64
    Documentation
    OCaml cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    1.2.0
    MIT; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2026
  21. opatch
    Documentation
    Pure OCaml command-line tool to apply a patch
    Kate Deplaix <kit-ty-kate@exn.st> Samuel Hym <samuel@tarides.com>
    3.1.2
    ISC
    Used by 4 other packages
    09 Jul 2026
  22. ortac-core
    Documentation
    Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    25 Mar 2026
  23. ortac-qcheck-stm
    Documentation
    QCheck-STM plugin for Ortac
    Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com> Nikolaus Huber <mail@n-huber.eu>
    0.8.0
    MIT
    Used by 1 other packages
    25 Mar 2026
  24. ortac-runtime
    Documentation
    Runtime support library for Ortac-generated code
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    25 Mar 2026
  25. qcheck-lin
    Documentation
    A multicore testing library for OCaml
    test property qcheck quickcheck parallelism sequential consistency
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.10
    BSD-2-clause
    Used by 0 other packages
    07 Oct 2025
  26. qcheck-multicoretests-util
    Documentation
    Various utility functions for property-based testing of multicore programs
    test property qcheck quickcheck multicore non-determinism
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.10
    BSD-2-clause
    Used by 8 other packages
    07 Oct 2025
  27. qcheck-stm
    Documentation
    State-machine testing library for sequential and parallel model-based tests
    test property qcheck quickcheck state-machine testing model-based testing parallel testing
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.10
    BSD-2-clause
    Used by 9 other packages
    07 Oct 2025