• OCaml logo OCaml logo
  • Standard Library API
  • Learn
  • Tools
  • Packages
  • Community
  • News
  • Play
  • Get Started
  • OCaml logo OCaml logo
  • Learn
  • Tools
  • Packages
  • Community
  • News
  • Play
  • Standard Library API
  • Get started

2 search results for "author:"Pierre-Yves Strub""

Showing 1 - 2
  1. archetype
    Documentation
    Archetype language compiler
    Benoit Rognier <benoit.rognier@edukera.com> Guillaume Duhamel <guillaume.duhamel@edukera.com> Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>
    1.5.3
    MIT
    Used by 0 other packages
    17 Dec 2024
  2. cryptoverif
    Documentation
    CryptoVerif: Cryptographic protocol verifier in the computational model
    Bruno Blanchet <Bruno.Blanchet@inria.fr>, Pierre Boutry <boutry.pierre@gmail.com>, David Cadé <David.Cade@normalesup.org>, Christian Doczkal <christian.doczkal@mpi-sp.org>, Aymeric Fromherz <Aymeric.Fromherz@inria.fr>, Charlie Jacomme <Charlie.Jacomme@inria.fr>, Benjamin Lipp <Benjamin.Lipp@mpi-sp.org>, and Pierre-Yves Strub <pierre-yves@strub.nu>
    2.11
    CECILL-B
    Used by 0 other packages
    29 Sep 2024

Footer

OCaml OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About OCaml

  • Changelog
  • Releases
  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Install OCaml
  • Get Started
  • Platform Tools
  • Language Manual
  • Standard Library API
  • Books
  • Exercises
  • Papers
  • OCaml Playground
  • Logo

Ecosystem

  • Packages
  • Community
  • Events
  • OCaml Planet
  • Jobs

Policies

  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct