Minc Programming Language
Low-level alternative to C with type-checked Lisp like macros, heavily compiler introspection, and a sensible standard library. The specification is currently being developed internally alongside the initial parser-tokenizer.