argumentcomputerLSpec2.0.0

A Testing Framework for Lean
Displaying 1-7 of 7 packages depending on argumentcomputer/LSpec
Sort by

  1. functionally/Cryptouses8a51034

    Implementation of various cryptographic functions in Lean4

  2. argumentcomputer/ixuses1e6da63

    a zero-knowledge proof-carrying code platform for Lean 4

  3. leanprover/pantographusesdb76512

    (Mirror) A Machine-to-Machine Interaction System for Lean 4

  4. KislyjKisel/poduses24cceb6

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

  5. KislyjKisel/raylibuses24cceb6

    Raylib bindings for Lean4

  6. marcellop71/redisLeanuses1e6da63

    Lean bindings for redis/hiredis

  7. Verilean/sparkleuses8e6ddb1

    A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.