Official documentation, litepapers, contract addresses, and public records for CopyrightPass (CRP).
-
Updated
Jul 4, 2026
#
ip-licensing
Here are 9 public repositories matching this topic...
Official repo for TrustLogic — privacy-preserving dual-token protocol for enforceable digital rights (RWAs, IP, software, media, AI)
privacy smart-contracts blockchain compliance web3 digital-rights software-licensing rwa ip-licensing revocable-tokens ai-royalties
-
Updated
Dec 13, 2025
Official GitHub profile for CopyrightPass (CRP).
-
Updated
Jul 4, 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.
formal-verification frama-c hardware-security tla-plus why3 deep-tech ip-licensing deterministic-computing zero-day-exploits silicon-root-of-trust cloud-freezing
-
Updated
Jun 17, 2026 - TLA
Turn your IP into licensing revenue — scans business assets for deals via Claude Code
licensing royalty ai-agents claude-code founder-tools claude-skill ip-licensing strategy-sprints b2b-strategy
-
Updated
Apr 9, 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…
content education company children media china entertainment open-platform apis-json ip-licensing kids-audio-video
-
Updated
Aug 2, 2026
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.
coq formal-verification frama-c hardware-security tla-plus why3 ring-0 deep-tech astraverse ip-licensing zero-day-exploits cloud-freezing astraver
-
Updated
Jun 19, 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."