108 search results for "author:"Ocamlpro""

Showing 101 - 108
  1. store-pushqueue
    Documentation
    Snapshottable push-only queues
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  3. swhid_core
    Documentation
    OCaml library to work with swhids
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.1
    ISC
    Used by 2 other packages
    Added to opam-repository
  4. 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
  5. synchronizer
    Documentation
    Synchronizer
    ocaml multi-core mutex thread-safe parallel
    Arthur Carcano <arthur.carcano@ocamlpro.com> redianthus
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  6. typerex-binutils
    Documentation
    Libraries and tools to work with object files
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    1.0
    Used by 0 other packages
    Added to opam-repository
  7. user-setup
    Documentation
    Helper for the configuration of editors for the use of OCaml tools
    org:ocamlpro
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.8
    ISC
    Used by 0 other packages
    Added to opam-repository
  8. wxOCaml

    No documentation

    OCaml bindings to the wxWidgets graphical library
    Fabrice Le Fessant INRIA/OCamlPro <fabrice.le_fessant@inria.fr>
    1.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
1 2 3