4 search results for "tag:"META""

Showing 1 - 4
  1. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.8
    LGPL-2.1-only
    Used by 0 other packages
    16 Dec 2024
  2. metal

    No documentation

    OCaml bindings to selected parts of Apple Metal, for general compute applications
    metal gpu compute apple
    Lukasz Stafiniak <lukstafi@gmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    07 May 2025
  3. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    05 Mar 2015
  4. odig
    Documentation
    Lookup documentation of installed OCaml packages
    build dev doc meta packaging org:erratique org:b0-system
    The odig programmers
    0.0.9
    ISC; LicenseRef-ParaType-Free-Font-License; LicenseRef-DejaVu-fonts
    Used by 6 other packages
    05 Jun 2023