5 search results for "author:"Basile Clément""

Showing 1 - 5
  1. caqti

    No documentation

    Unified interface to relational database libraries
    Petter A. Urkedal <paurkedal@gmail.com> Nathan Rebours <nathan@cryptosense.com> Basile Clément
    2.3.2
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 19 other packages
    12 Jun 2026
  2. store

    No documentation

    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.2
    MIT
    Used by 3 other packages
    17 Jun 2026
  3. store-dict

    No documentation

    Snapshottable dictonaries and hashtables
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.1
    MIT
    Used by 0 other packages
    17 Jun 2026
  4. store-pushqueue

    No documentation

    Snapshottable push-only queues
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer
    0.1
    MIT
    Used by 0 other packages
    17 Jun 2026
  5. symex

    No 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
    31 May 2026