Pinned Loading

1. orange orange Public

   Orange is a language for specifying, implementing, and verifying cryptography.

   Rust

2. snoot snoot Public

   Classical cryptography inventory for post-quantum migration. GitHub Action, SARIF, CycloneDX CBOM, baselines, and severity gates.

   Rust

3. -wuci-ji -wuci-ji Public

   WuciOS is a Daylight-governed experimental OS/substrate research project for disciplined, auditable high-assurance system construction. Current v2.4 work focuses on an Alpine substrate trial with e…

   Python

4. centl centl Public

   Exact-first mathematics, physics, chemistry, and offline STEM computing environment.

   HTML

5. Latticra Latticra Public

   Evidence-bound systems architecture for local authority, receipts, reports, and future runtime boundaries.

   Shell

6. nosuchmachine.net nosuchmachine.net Public

   CSS