7 search results for "author:"pierre.chambart@ocamlpro.com""

Showing 1 - 7
  1. mperf
    Documentation
    Bindings to Linux perf's metrics
    Vincent Bernardoff <vincent.bernardoff@ocamlpro.com> Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.5.0
    GPL-2.0-only
    Used by 1 other packages
    06 Nov 2023
  2. nullable-array
    Documentation
    Small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    24 May 2017
  3. operf-macro

    No documentation

    Macro benchmarking tool
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    0.2
    MIT
    Used by 0 other packages
    11 May 2015
  4. operf-micro
    Documentation
    Simple tool for benchmarking the OCaml compiler
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    1.1.1
    MIT
    Used by 0 other packages
    06 Nov 2017
  5. owi

    No documentation

    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    Léo Andrès <contact@ndrs.fr> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  6. smtml
    Documentation
    A Front-end library for SMT solvers in OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.3.1
    MIT
    Used by 1 other packages
    06 Nov 2024
  7. typerex-lldb

    No documentation

    A set of tools and libs built on top of the LLDB debugging framework
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com> Pierre Chambart <pierre.chambart@ocamlpro.com>
    1.1
    Used by 0 other packages
    13 May 2016