3 search results for "author:"Joan Thibault <joan.thibault@ens-rennes.fr>""

Showing 1 - 3
  1. DAGaml
    Documentation
    DAGaml : Abstract DAG manipulation in OCaml
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Nov 2021
  2. GuaCaml
    Documentation
    GuaCaml : Generic Unspecific Algorithmic in OCaml
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.05
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    02 Aug 2022
  3. Snowflake
    Documentation
    Snowflake : A Generic Symbolic Dynamic Programming framework
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02.03
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2022