7 search results for "tag:"path""

Showing 1 - 7
  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 88 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 Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    2.2.0+8.20
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Mar 2025
  4. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 97 other packages
    08 Sep 2020
  5. fpath-base

    No documentation

    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.3.1
    MIT
    Used by 4 other packages
    27 May 2025
  6. fpath-sexp0

    No documentation

    Adds Fpath.sexp_of_t and defines 3 new modules: Fsegment, Absolute_path and Relative_path
    fpath absolute-paths relative-paths
    Mathieu Barbin
    0.3.1
    MIT
    Used by 10 other packages
    27 May 2025
  7. orthologic-coq

    No documentation

    A plugin to add orthologic-based tactics to Coq
    category:Miscellaneous/Coq Extensions keyword:orthologic logpath:OLCoq
    Simon Guilloud Clément Pit-Claudel
    0.9.1
    CC-BY-4.0
    Used by 0 other packages
    17 Apr 2025