A high-level language for assembly-level software description. Focus is reproducibility, extensibility, modularity, predictability, and metaprogramming. Assembly targets are supported via libraries and syntactic sugar.
See overview for general information.