-
Colorado Technical University
- United States of America
-
02:10
(UTC -05:00)
Highlights
-
orange Public
Orange is a language for specifying, implementing, and verifying cryptography.
Rust UpdatedOct 5, 2026 -
-
-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 Apache License 2.0 UpdatedOct 4, 2026 -
centl Public
Exact-first mathematics, physics, chemistry, and offline STEM computing environment.
HTML Apache License 2.0 UpdatedOct 4, 2026 -
Latticra Public
Evidence-bound systems architecture for local authority, receipts, reports, and future runtime boundaries.
Shell Other UpdatedOct 4, 2026 -
snoot Public
Classical cryptography inventory for post-quantum migration. GitHub Action, SARIF, CycloneDX CBOM, baselines, and severity gates.
Rust GNU Affero General Public License v3.0 UpdatedOct 3, 2026 -
-
mawkbox Public
Turn text into encrypted signals
Python GNU Affero General Public License v3.0 UpdatedOct 1, 2026 -
-
-
-
aesop Public
An all-in-one cryptanalysis workbench for CTF, security research and teaching.
Python Apache License 2.0 UpdatedSep 28, 2026 -
-
JLR Public
JLR is a security-governance layer for Linux.
Rust GNU Affero General Public License v3.0 UpdatedSep 25, 2026 -
-
tracksim Public
A deterministic **sensor-fusion and multi-target tracking simulation sandbox** with a real-time HUD.
TypeScript UpdatedSep 25, 2026 -
amrtds-research-system Public
Automated Military Radar Targeting & Dissimulation System
JavaScript GNU Affero General Public License v3.0 UpdatedSep 25, 2026 -
-
-
-
-
-
-
-
-
tractor Public
Global Intelligence Search
Python GNU Affero General Public License v3.0 UpdatedSep 18, 2026 -
-
-
FCF-Laboratory Public
FCF-Laboratory is the Free Computation Foundation’s graphical research environment for mathematical experimentation, computation, AI-assisted discovery, verification, and reproducible science, brin…
Apache License 2.0 UpdatedAug 17, 2026 -



