4 search results for "tag:"path""

Showing 1 - 4
  1. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 87 other packages
    06 Oct 2021
  2. coq-of-ocaml
    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
    06 Jan 2023
  3. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.1+8.18
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Jan 2024
  4. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 76 other packages
    08 Sep 2020