GitHub repository: pipeos-one/dType
Primary language: JavaScript
Description: Proposals and specs for a decentralized type system.