• 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:"Basile Clément <basile.clement@ocamlpro.com""

Showing 1 - 2
  1. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  2. 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.1
    AGPL-3.0-or-later
    Used by 0 other packages
    09 Feb 2026

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

  • Security
  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct