CUI Twitter Client。ユーザーストリームなどに対応。emacsっぽいインターフェイス。あまり凝った機能はない。

doneリスト(やったことリスト)の管理ツール。やったことを入れておくとgithubの草みたいに何日連続でその作業をやってるかなどを可視化してくれるツール。作りが粗い。

圏論の種々の定理をCoqで証明したもの。プログラムではない。

オートマトンを可視化したりするツールのようなもの。試す / 記事

弾幕STGを作るためのDSLやらエンジンやら。ゲームとしては未完成品。

ビジュアルノベル。お姉ちゃんを探す話。

ビジュアルノベル。学園モノ？

ビジュアルノベル。初めてまともに作ったやつ。絵がなくて色々アレ。

クッキークリッカー系の放置ゲーム

大富豪とナポレオンを足して2で割ったみたいなトランプゲーム