Skip to content
@RileyBetts

Riley Betts

Formal specification and cryptographic enforcement for AI in regulated systems.

Pinned Loading

  1. lean-grpc lean-grpc Public

    Pure Lean 4 gRPC library (HTTP/2 + HPACK + gRPC) on Std.Async

    Lean 4

  2. lean-tee lean-tee Public

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

    Lean 3

  3. nuropb-rmq nuropb-rmq Public

    Async native Python RabbitMQ/AMQP 0-9-1 client (no pika). JSON-RPC service-mesh patterns—RPC, events, mesh binding, claims—with Lean-proven invariants. Zero runtime AMQP deps. Apache 2.0.

    Python 2

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…