RileyBettslean-grpc1.1.0

Pure Lean 4 gRPC stack (HTTP/2 + HPACK + gRPC) on Std.Async
#grpc #http2 #hpack #protobuf #networking
Displaying 1-1 of 1 packages depending on RileyBetts/lean-grpc
Sort by

  1. RileyBetts/lean-teeusesv1.1.0

    Lean-specified zkTEE: measured guest execution, hashed receipts, lean-grpc APIs