#

openooda

Here is 1 public repository matching this topic...

openOODA / catalog

Public package catalog for `opm`. Signed stock packages: caps, sqlite-bridge, std-modules.

catalog compiler static-analysis supply-chain self-hosted systems-language post-quantum-cryptography deterministic formal-verification opm capability-security typestate package-catalog openooda merkle-ast

Updated Sep 11, 2026
HTML

Add this topic to your repo

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