GitHub repository: sourcecrypto/agoric-records
Primary language: JavaScript
Description: Information related to Agoric, Mark Miller, and Object Capabilities.