Open source
Projects we publish
Libraries and tools we maintain in the open. Source of truth lives on GitHub; curated docs are hosted here.
lean-grpc
Lean 4 gRPC stack — HPACK, HTTP/2, and gRPC framing on Std.Async.TCP. Version 1.0.0. Apache-2.0.
Open source
Libraries and tools we maintain in the open. Source of truth lives on GitHub; curated docs are hosted here.
Lean 4 gRPC stack — HPACK, HTTP/2, and gRPC framing on Std.Async.TCP. Version 1.0.0. Apache-2.0.