MLRISC project

[graydon@venge.net]

along related lines:

the zephyr toolkit, including an advanced RTL, a binary encoding and
decoding library, a calling convention library, and a portable optimizer
http://www.cs.virginia.edu/zephyr

the new jersey machine code toolkit, another ML library for
instruction encoding and decoding, portable debugging, etc.
http://www.eecs.harvard.edu/~nr/toolkit

c-minus-minus, a FE/BE glue language somewhere between C and ASM
http://www.cminusminus.org

and on more of a sid-tangent, there's hawk, a
haskell based hardware simulator combinator library
http://www.cse.ogi.edu/PacSoft/projects/Hawk

-graydon