PrototypeCommon
dancinlab/hexa-lang
π Native compiler with atlas-bound theorems β 8 strict-lint stages Β· citation-enforced Β· no LLVM Β· self-hosting native fixpoint
- Owner
- dancinlab (organization)
- Stars
- Stars: 195
- Forks
- Forks: 107
- Language
- Assembly
- License
- MIT
- Created
- 2026
- Topics
- compilern6number-theoryperfect-numberprogramming-languagehexa-familyhexa-langnative-compilerstrict-lintcitation-enforced
- Tier
- Prototype (100 to 249 β ) What this tier means
More repos by dancinlab
All 3 repos by dancinlab- dancinlab/animaStars: 148PythonPrototype
- dancinlab/voidStars: 116ZigPrototype
Nearby in Assembly
All Assembly repos- jwasham/assembly-and-cStars: 196AssemblyPrototype
- TheAlgorithms/AArch64_AssemblyStars: 196AssemblyPrototype
- nicsure/TD-H3-EngineeringStars: 196AssemblyPrototype
- johnidm/asm-atari-2600Stars: 194AssemblyPrototype
- mattcurrie/gb-save-statesStars: 194AssemblyPrototype
- jmwilson/oshw-active-probeStars: 194AssemblyPrototype