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

    Implementation of various cryptographic functions in Lean4
  2. argumentcomputer/ixuses24cceb6

    a zero-knowledge proof-carrying code platform for Lean 4
  3. KislyjKisel/poduses24cceb6

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

    Raylib bindings for Lean4