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

Showing 1 - 25
  1. conf-aarch64-linux-gnu-gcc
    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.0
    MIT
    Used by 3 other packages
    12 Apr 2024
  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

    No documentation

    Virtual package to install one of the OCaml default cross compilers to the freestanding Unikraft backends
    org:mirage
    Samuel Hym
    1.0.0
    MIT
    Used by 2 other packages
    11 Jun 2025
  7. ocaml-unikraft-arm64

    No documentation

    OCaml cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    1.0.0
    MIT; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    11 Jun 2025
  8. ocaml-unikraft-backend-firecracker

    No documentation

    Virtual package to ensure the Firecracker Unikraft backend is installed for the default cross compiler
    org:mirage
    Samuel Hym
    0.18.0
    MIT
    Used by 0 other packages
    11 Jun 2025
  9. ocaml-unikraft-backend-firecracker-arm64

    No documentation

    Firecracker/arm64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    0.18.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    11 Jun 2025
  10. ocaml-unikraft-backend-firecracker-x86_64
    Documentation
    Firecracker/x86_64 Unikraft backend for OCaml
    org:mirage
    Samuel Hym Unikraft contributors
    0.18.0
    MIT; BSD-3-Clause; GPL-2.0-only
    Used by 2 other packages
    11 Jun 2025
  11. ocaml-unikraft-backend-qemu

    No documentation

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

    No documentation

    OCaml default cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    1.0.0
    MIT
    Used by 3 other packages
    11 Jun 2025
  15. ocaml-unikraft-default-x86_64

    No documentation

    OCaml default cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    1.0.0
    MIT
    Used by 3 other packages
    11 Jun 2025
  16. ocaml-unikraft-option-debug

    No documentation

    Virtual package to enable debugging in the Unikraft backends
    org:mirage
    Samuel Hym
    0.18.0
    MIT
    Used by 0 other packages
    11 Jun 2025
  17. ocaml-unikraft-toolchain-arm64
    Documentation
    C toolchain to build an OCaml cross compiler to the freestanding Unikraft arm64 backends
    org:mirage
    Samuel Hym
    0.18.0
    MIT
    Used by 1 other packages
    11 Jun 2025
  18. ocaml-unikraft-toolchain-x86_64
    Documentation
    C toolchain to build an OCaml cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    0.18.0
    MIT
    Used by 1 other packages
    11 Jun 2025
  19. ocaml-unikraft-x86_64

    No documentation

    OCaml cross compiler to the freestanding Unikraft x86_64 backends
    org:mirage
    Samuel Hym
    1.0.0
    MIT; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    11 Jun 2025
  20. 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.7.0
    MIT
    Used by 3 other packages
    04 Jul 2025
  21. 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.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025
  22. 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.7.0
    MIT
    Used by 3 other packages
    04 Jul 2025
  23. 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.8
    BSD-2-clause
    Used by 0 other packages
    10 Apr 2025
  24. 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.8
    BSD-2-clause
    Used by 8 other packages
    10 Apr 2025
  25. 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.8
    BSD-2-clause
    Used by 9 other packages
    10 Apr 2025