https://github.com/dancinlab/hexa-lang
💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint
https://github.com/dancinlab/hexa-lang
citation-enforced compiler hexa-family hexa-lang n6 native-compiler number-theory perfect-number programming-language strict-lint theorem-atlas
Last synced: 8 days ago
JSON representation
💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint
- Host: GitHub
- URL: https://github.com/dancinlab/hexa-lang
- Owner: dancinlab
- License: mit
- Created: 2026-04-01T01:38:57.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-07-07T10:51:57.000Z (17 days ago)
- Last Synced: 2026-07-07T11:24:17.992Z (17 days ago)
- Topics: citation-enforced, compiler, hexa-family, hexa-lang, n6, native-compiler, number-theory, perfect-number, programming-language, strict-lint, theorem-atlas
- Language: Assembly
- Size: 196 MB
- Stars: 224
- Watchers: 1
- Forks: 121
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.jsonl
- License: LICENSE
- Citation: CITATION.cff
- Codeowners: .github/CODEOWNERS
- Roadmap: ROADMAP.md
- Agents: AGENTS.md