{"repo":"dancinlab/hexa-lang","free":true,"listed":false,"github":"https://github.com/dancinlab/hexa-lang","clone":"git clone https://github.com/dancinlab/hexa-lang.git","description":"💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint","language":"Assembly","stars":196,"topics":["compiler","n6","number-theory","perfect-number","programming-language","hexa-family","hexa-lang","native-compiler","strict-lint","citation-enforced"],"license":"MIT","category":"self-hosted-apps","readme_excerpt":"💎 hexa-lang Native compiler with atlas-bound theorems — strict-lint · citation-enforced · no LLVM · self-hosting native fixpoint Atlas-bound · strict-lint · 8-stage gate · ε self-proof · n=6 perfect-number primitives · self-hosted --- hexa-lang is a native compiler that carries its own theorem 사전 (dictionary) inside the binary. No LLVM anywhere — the self-host backend lowers source through its own IR to native objects (a byte-identical gen3 ≡ gen4 fixpoint) and links them with its own hexa ld ; hexa run / hexa build ship clang-free on the promoted toolchain. (Two C pieces remain by engineering necessity, not as unfinished debt: a C-transpile fallback delegate for some flows, and a libc/syscall runtime floor generated from .hexa emitters — the latter is reducible , not permanent: a 2026-06-16 falsification showed 50% of the runtime is already portable to .hexa (a .hexa fnv1a is byte-identical to the C one) and zero- .c is an open, attackable campaign — runtime hi gen.c is now eliminated on both arm64-darwin and x86 64-linux via native .s seeds — the x86 64 backend was reworked (#3462) to carry the full HexaVal {tag,payload} pair like arm64 (its old \"raw-int model\" had dropped the tag, silently breaking native string functions; caught by a C-differential harness, fixed at the root, confirmed by all CI faithful + whole-compiler byte-eq gates green); a 2026-06-17 audit further found the rt str family is already hexa-source-complete (every function has a native .hexa definition),","default_branch":null,"files":null,"tree":[],"storefront":"/r/dancinlab","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/dancinlab/hexa-lang/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}