2 search results for "author:"Arthur Carcano <arthur.carcano@ocamlpro.com>""

Showing 1 - 2
  1. 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> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.12.0
    MIT
    Used by 0 other packages
    07 Oct 2025
  2. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.1
    AGPL-3.0-or-later
    Used by 0 other packages
    08 Oct 2025