ip-licensing
Here are 6 public repositories matching this topic...
Official repo for TrustLogic — privacy-preserving dual-token protocol for enforceable digital rights (RWAs, IP, software, media, AI)
-
Updated
Dec 13, 2025
Turn your IP into licensing revenue — scans business assets for deals via Claude Code
-
Updated
Apr 9, 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.
-
Updated
Jun 19, 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
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."