Some other missing compilers:<p>* Idris : <a href="http:&#x2F;&#x2F;www.idris-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.idris-lang.org&#x2F;</a><p>* Ivory : <a href="http:&#x2F;&#x2F;ivorylang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;ivorylang.org&#x2F;</a><p>* ATS : <a href="http:&#x2F;&#x2F;www.ats-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.ats-lang.org&#x2F;</a><p>* Mbeddr : <a href="http:&#x2F;&#x2F;mbeddr.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;mbeddr.com&#x2F;</a>