GitHub repository: Agoric/SwingSet
Primary language: JavaScript
Description: prototype Vat host, modeled after KeyKOS Domains