代码库
🔧 Project-agnostic AI coding harness — enforcement hooks · L0 lockdown · lint/verify gates · error & work ledgers, all config-driven. Drop into any repo.
TypeScript
💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint
Assembly
citation-enforcedcompilerhexa-familyhexa-langn6native-compilernumber-theoryperfect-numberprogramming-languagestrict-linttheorem-atlas
🕳️ VOID — Terminal emulator written in hexa-lang.
Zig
hexa-familyhexa-langterminal-emulatorvoid
🪞 Discoveries catalog — findings from the HEXA-* projects · σφτ identity at the centre · 17 domain families · policy SSOTs
atlasdesign-frameworkdiscoveries-cataloghexa-familylattice-policyn6number-theoryperfect-numbersigma-phi-tau