hexa-lang

hexa-lang

dancinlab

πŸ’Ž Native compiler with atlas-bound theorems β€” 8 strict-lint stages Β· citation-enforced Β· no LLVM Β· self-hosting native fixpoint

224 Stars
121 Forks
1 Watchers
Assembly Language
mit License
100 SrcLog Score
Cost to Build
$17.72M
Market Value
$73.73M

Growth over time

2 data points  Β·  2026-07-17 β†’ 2026-07-19
Stars Forks Watchers
πŸ’¬

How do you feel about this project?

Ask AI about hexa-lang

Question copied to clipboard

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.

How to clone hexa-lang

Clone via HTTPS

git clone https://github.com/dancinlab/hexa-lang.git

Clone via SSH

[email protected]:dancinlab/hexa-lang.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the hexa-lang issue tracker:

Open GitHub Issues