6 search results for "tag:"meta""

Showing 1 - 6
  1. arrayjit
    Documentation
    An array language compiler with multiple backends (CPU, CUDA, Metal), staged compilation
    deeplearning array jit CUDA Metal
    Lukasz Stafiniak
    0.6.0
    BSD-2-Clause
    Used by 1 other packages
    20 Aug 2025
  2. 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.9~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  3. 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.1
    MIT
    Used by 1 other packages
    24 Jul 2025
  4. neural_nets_lib
    Documentation
    A from-scratch Deep Learning framework with an optimizing compiler, shape inference, concise syntax
    deeplearning tensor backprop jit CUDA Metal
    Lukasz Stafiniak
    0.6.0
    BSD-2-Clause
    Used by 0 other packages
    20 Aug 2025
  5. 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
  6. 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