KislyjKiselpod

Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)
Sort by
  1. Git dependency.
    Found on Reservoir.

    LSpece780f41

    A Testing Framework for Lean
  2. Git dependency.
    Not found on Reservoir.

    alloy2dc62da