dancinlab/hexa-lang

💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint

语言：Assembly · GitHub 星标：195 · Fork：107

话题：citation-enforced · compiler · hexa-family · hexa-lang · n6 · native-compiler · number-theory · perfect-number

在 GitHub 上查看原仓库