All activity
λ☶ (pronounced Lambda Mountain) is a compiler backend that provides a relatively clean implementation of System F<: with Specialization. The whole compiler is only 5000 lines of code.
LM Programming LanguageCompact Typed Assembler
Andrew Johnsonleft a comment
LM has been in development for about 6 months now. It is based on a type system similar to Haskell or OCaml but geared more towards low-level programming. Currently it is limited to the x86-64 Linux platform, but adding targets is getting easier. The syntax is Lisp-like but other frontends are in the works.
LM Programming LanguageCompact Typed Assembler