Skip to content
#

proof-carrying-code

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 Python 2 Rust 2 Rocq Prover 1 Lean 1

BryceWDesign / IX-Decriel

Star 1

Security-first programming language for building high-assurance services, secure communications, privacy-aware networking tools, policy-enforced runtimes, secret-safe data pipelines, and auditable least-authority systems.

programming-language rust cryptography sandboxing memory-safety formal-methods systems-programming privacy-preserving policy-enforcement effect-system capability-security supply-chain-security proof-carrying-code auditability runtime-assurance secure-by-construction default-deny security-language least-authority secret-tracking
  • Updated May 25, 2026
  • Rust

Improve this page

Add a description, image, and links to the proof-carrying-code topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-carrying-code topic, visit your repo's landing page and select "manage topics."

Learn more