Official repo for TrustLogic — privacy-preserving dual-token protocol for enforceable digital rights (RWAs, IP, software, media, AI)
Official documentation, litepapers, contract addresses, and public records for CopyrightPass (CRP).
Official GitHub profile for CopyrightPass (CRP).
Turn your IP into licensing revenue — scans business assets for deals via Claude Code
The 10/10 formal verification matrix for the HCSP architecture using Frama-C, AstraVer, Coq, and TLA+ to mathematically eliminate memory corruption and zero-day exploits at Ring 0.
Real, structured directory of US university technology-transfer office domains
Official TLA+ specifications and Why3 formal verification artifacts for the HCSP Sovereign Deterministic Core, proving 100% complete logic correctness (19/19 goals) against zero-day exploits and cloud-freezing deadlocks.
beva — independent third-party profile of a public API surface, by API Evangelist. beva (贝瓦网), operated by ProKids Technology Corp / 芝兰玉树（北京）科技股份有限公司, is a Chinese IP-and-technology driven family education and entertainment company. Its flagship original IP is the little beaver "Beva" (贝瓦) and the "Beva Children's Songs" (贝瓦儿歌) brand, spanning chil
Add a description, image, and links to the ip-licensing topic page so that developers can more easily learn about it.
To associate your repository with the ip-licensing topic, visit your repo's landing page and select "manage topics."