Lambda Mountain

λ☶ (pronounced Lambda Mountain) is a compiler backend. It is a typed fragment assembler, which means it could generate machine code, but right now the only backend targets GNU Assembler.

Programming in LM should feel like using a mix of assembler, C, and SML.

More information is available on the Wiki.