8 search results for "tag:"path""

Showing 1 - 8
  1. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 90 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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 Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  4. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 115 other packages
    Added to opam-repository
  5. fpath-base
    Documentation
    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.4.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  6. fpath-sexp0
    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.4.0
    MIT
    Used by 13 other packages
    Added to opam-repository
  7. orthologic-coq
    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
    Added to opam-repository
  8. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.3
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository