3 search results for "author:"Stephane Graham-Lengrand""

Showing 1 - 3
  1. ctypes-zarith
    Documentation
    Ctypes wrapper for zarith
    Andreas Hauptmann Stephane Graham-Lengrand
    0.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Jul 2020
  2. mld
    Documentation
    The MLD package makes directory foo.mld turn into module Foo
    Stephane Graham-Lengrand <graham-lengrand@lix.polytechnique.fr>
    0.2
    CeCILL-C
    Used by 0 other packages
    13 Nov 2017
  3. yices2_bindings
    Documentation
    Ocaml bindings for yices2
    Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    14 Sep 2020