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.
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 (贝瓦网), 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 children's music, animation, literature and interactive entertainment, distributed…
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."