ip-licensing
Here are 9 public repositories matching this topic...
Official documentation, litepapers, contract addresses, and public records for CopyrightPass (CRP).
-
Updated
Jul 4, 2026
Official repo for TrustLogic — privacy-preserving dual-token protocol for enforceable digital rights (RWAs, IP, software, media, AI)
-
Updated
Dec 13, 2025
Official GitHub profile for CopyrightPass (CRP).
-
Updated
Jul 4, 2026
Turn your IP into licensing revenue — scans business assets for deals via Claude Code
-
Updated
Apr 9, 2026
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.
-
Updated
Jun 17, 2026 - TLA
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.
-
Updated
Jun 19, 2026
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…
-
Updated
Aug 14, 2026
Improve this page
Add a description, image, and links to the ip-licensing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ip-licensing topic, visit your repo's landing page and select "manage topics."