3 search results for "tag:"clib:camlidl""

Showing 1 - 3
  1. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  2. lutin
    Documentation
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  3. polka
    Documentation
    Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
    clib:stdc clib:camlidl
    Bertrand Jeannnet
    2.71.15
    LGPL-2.1-or-later
    Used by 1 other packages
    03 Nov 2022