2 search results for "tag:"keyword:foreign function interface""

Showing 1 - 2
  1. coq-coqffi

    No documentation

    Tool for generating Coq FFI bindings to OCaml libraries
    category:Miscellaneous/Coq Extensions keyword:foreign function interface keyword:extraction keyword:OCaml logpath:CoqFFI
    Thomas Letan Li-yao Xia Yann Régis-Gianas Yannick Zakowski
    1.0.0~beta8
    MIT
    Used by 0 other packages
    29 Apr 2023
  2. coq-freespec-ffi

    No documentation

    A framework for implementing and certifying impure computations in Coq
    date:2021-03-01 keyword:foreign function interface category:Miscellaneous/Coq Extensions logpath:FreeSpec.FFI
    Thomas Letan Yann Régis-Gianas
    0.3
    MPL-2.0
    Used by 1 other packages
    04 Mar 2021