Advanced Hybrid Architecture
Easy to read. Powerful to wield.
A modern programming language with an LLVM backend β designed to be understood at a glance, yet strong enough to build real software.
We're building AHA! β a language that feels obvious when you read it and effortless when you run it. No magic, no ceremony. Just clear code that compiles to LLVM IR and runs at native speed through a built-in JIT.
- β‘ LLVM-Powered β Source compiles to LLVM IR and executes through a built-in JIT. Native-level performance from day one.
- π§ Real Type Discipline β First-class
Int,Bool, andStringwith a genuine compile-time type-checking pass. Type errors are caught before you run. - π’ Boolean Algebra That Composes β Every boolean-producing operator
(
==,!=,<,>,<=,>=,&&,||) returnsInt0/1, so logic flows straight into arithmetic:is_even(n) * 100just works. - π¦ Strings Done Right β Strings are a real
{pointer, length}struct: safe concatenation,==/!=comparison, and an O(1)len(). - π Modern Control Flow β
if/else,while,forwithbreak/continue, functions with parameters,return, forward references, and mutual recursion.
fn is_even(n) {
n % 2 == 0
}
let count = 0;
for i 0..10 {
if is_even(i) {
count = count + 1;
}
}
count // 5| Repo | What it is |
|---|---|
| aha-lang | The compiler β Rust + LLVM (via inkwell), lexer β Pratt parser β type system β codegen β JIT |
| aha-lang-docs | Documentation site (Next.js + Fumadocs) β guides, tutorials, language tour |
- π Documentation: https://aha-lang-tau.vercel.app/
- π οΈ Compiler source: https://github.com/qwetls/aha-lang
We welcome contributions of all kinds β bug reports, feature ideas, and code.
Check the individual repositories for their CONTRIBUTING.md guidelines.
Join us in writing the next chapter of computing.
Licensed under MIT.