-
Colorado Technical University
- United States of America
-
16:55
(UTC -05:00) - https://orcid.org/0009-0002-4317-7829
- @nosuchmachine
- @WARLOCKINDEX
Highlights
- Pro
Pinned Loading
-
-wuci-ji
-wuci-ji PublicWuciOS 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
-
orange
orange PublicOrange is a language for specifying, implementing, and verifying cryptography.
Python
-
SEAL
SEAL PublicSubstrate Evidence Authority Layer: minimal operator substrate for sealed evidence, capability-bound authority, and fail-closed system design on seL4-class foundations.
F*
-
orange-school
orange-school PublicOrange School is a competency-based path from no assumed technical background to professional work with the Orange programming language and toolchain.
Python
If the problem persists, check the GitHub status page or contact support.

