Alatyr
in progress
The reference compiler is written in Alatyr itself and builds itself byte-for-byte reproducibly. Its principle is “correct, or loudly wrong”: a trap or a clear rejection is acceptable, a silent wrong result is not.
Links
Writing about the project
Depth, Speed, Beauty: In Search of the Philosopher's Stone
· programming languages, tools
Why I need yet another programming language, and why it shouldn't make you pick two out of three.