ツール
お遊びでつくったやつです．将来的には実用的なソフトウェアも載せたいのですが．
Knuth Bendix Completion in Standard ML [URL]
一階項書き換え系を操作する Standard ML 製の UNIX コマンドです．MLton でコンパイルします．
Brainf*ck in Standard ML [URL]
研究室で Standard ML を使うことになったときに，学習のために作った Brainf*ck のインタプリタです．(100以下の素数を計算するサンプルプログラムを付属しています．)