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: about 14 hours 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 (3 months ago)
- Default Branch: main
- Last Pushed: 2026-06-22T21:51:40.000Z (6 days ago)
- Last Synced: 2026-06-22T22:07:38.008Z (6 days ago)
- Topics: citation-enforced, compiler, hexa-family, hexa-lang, n6, native-compiler, number-theory, perfect-number, programming-language, strict-lint, theorem-atlas
- Language: Python
- Size: 188 MB
- Stars: 222
- Watchers: 1
- Forks: 119
- Open Issues: 25
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
- Citation: CITATION.cff
- Codeowners: .github/CODEOWNERS
- Roadmap: ROADMAP.md
- Agents: AGENTS.md