ocamlmpi

OCaml/MPI interface

Search similar apps

    License

    Other

    OCaml/MPI interface

    Creator

    xavierleroy

    Related apps

    cdf-mech-sem

    Coq development for the course "Mechanized semantics", Collège de France, 2019-2

    Coq64lgpl-2.1

    7 months ago

    cryptokit

    A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

    C97other

    25 days ago

    cdf-program-logics

    Companion Coq development for Xavier Leroy's 2021 lectures on program logics

    Coq38

    4 years ago