オレは１じゃないけど、作るのに協力できるなら協力します。
著作権については修正free bsdライセンスのような、商用にも使える自由なやつがいいなぁ

新しい低レベル言語は言語仕様が小さい言語と大きい言語の２つを作るといいと思う。

自分はScheme的小さい言語仕様の言語を目指して作ってるけど、
最適化フェーズまでは頭が回らない。。。

とりあえず、式言語ベースでアセンブラを作らないとなぁってところです。

c++のjit用のアセンブラXbyakとかscheme製アセンブラとか、as3のアセンブラとか、llvmとかいろいろある
のを参考にそのうち作ります。
美しく作りたいので速くて２、３年かかると思います。

大きい仕様の言語はD言語からGCとかclassをはずした言語がいいんだろうなと。
大きい仕様の言語でも式言語としてパースできたらいいけど、それは無理なのかな？