4 search results for "tag:"keyword:ocaml""

Showing 1 - 4
  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-of-ocaml

    No documentation

    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    26 Aug 2026
  3. coq-paramcoq

    No documentation

    Plugin for generating parametricity statements to perform refinement proofs
    keyword:paramcoq keyword:parametricity keyword:OCaml modules category:Miscellaneous/Rocq Extensions logpath:Param date:2024-06-29
    Chantal Keller (Inria, École polytechnique) Marc Lasson (ÉNS de Lyon) Abhishek Anand Pierre Roux Emilio Jesús Gallego Arias et al.
    1.1.3+rocq9.0
    MIT
    Used by 4 other packages
    26 Mar 2025
  4. rocq-camltac

    No documentation

    OCaml as a Tactic Language for Rocq
    category:Miscellaneous/Rocq Extensions keyword:tactic keyword:ocaml keyword:ltac2 logpath:Camltac date:2026-10-26
    Dario Halilovic
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    28 Oct 2026