7 search results for "author:"Pierre Chambart <pierre.chambart@ocamlpro.com>""

Showing 1 - 7

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
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
operf-macro

No documentation

Macro benchmarking tool

Pierre Chambart <pierre.chambart@ocamlpro.com>

0.2

MIT

Used by 0 other packages

11 May 2015
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
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
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
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