LSpecv2.0.0
A Testing Framework for Lean
of 3 packages depending on argumentcomputer/LSpec
1-3Sort by
Package Name
functionally/Cryptouses
8a51034
Implementation of various cryptographic functions in Lean4KislyjKisel/poduses
24cceb6
Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)KislyjKisel/raylibuses
24cceb6
Raylib bindings for Lean4