dancinlab / hexa-lang Star 196 Code Issues Pull requests 💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpointprogramming-languagecompilernumber-theoryperfect-numbern6strict-lintnative-compilerhexa-familyhexa-langtheorem-atlascitation-enforced Updated Jul 31, 2026Assembly
eddmann / santa-lang-dasher Star 1 Code Issues Pull requests Dasher - Rust LLVM-based AOT native compiler for santa-lang, compiling to optimized machine coderustcliadvent-of-codecompilerllvmdasheraot-compilersanta-langnative-compiler Updated Apr 13, 2026Rust
0u44 / Native-Language-Compiler Star 1 Code Issues Pull requests A basic Assembly language Compilerclearningbasiccompilerassemblynative-compilerlow-level-compiler Updated Dec 18, 2024C