No results found

KLR

A formalization of ML kernel languages
Sort by
  1. Local path dependency.
    Not found on Reservoir.

    Util0.0.0

  2. Git dependency.
    Found on Reservoir.

    TensorLibv0.0.12

    A verified tensor library in Lean
  3. Git dependency.
    Found on Reservoir.

    plausiblev4.20.0

  4. Local path dependency.
    Not found on Reservoir.

    NRT0.0.0

  5. Local path dependency.
    Not found on Reservoir.

    Gzip0.0.0

  6. Git dependency.
    Found on Reservoir.

    Cliv4.20.0

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  7. Local path dependency.
    Not found on Reservoir.

    Archive0.0.0