π Native compiler with atlas-bound theorems β 8 strict-lint stages Β· citation-enforced Β· no LLVM Β· self-hosting native fixpoint
What is the dancinlab/hexa-lang GitHub project? Description: "π Native compiler with atlas-bound theorems β 8 strict-lint stages Β· citation-enforced Β· no LLVM Β· self-hosting native fixpoint". Written in Assembly. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard β paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download main.zipReport bugs or request features on the hexa-lang issue tracker:
Open GitHub Issues