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

Showing 1 - 5
  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
    Added to opam-repository
  2. operf-micro
    Documentation
    Simple tool for benchmarking the OCaml compiler
    Pierre Chambart <pierre.chambart@ocamlpro.com>
    1.1.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. owi
    Documentation
    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    redianthus <leo@ocaml.pro> 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
    Added to opam-repository
  4. smtml
    Documentation
    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.30.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository