Displaying 1-3 of 3 packages depending on argumentcomputer/LSpec
Sort by
  1. functionally/Cryptouses8a51034

    Implementation of various cryptographic functions in Lean4
  2. KislyjKisel/podusesb7d4dc6

    Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)
  3. KislyjKisel/raylibusesb7d4dc6

    Raylib bindings for Lean4