SAKAI Masahiro - Software Diff
- Added parts are displayed like this.
- Deleted parts are displayed
like this.
= Software / ソフトウェア
see also ((<my github account|URL:https://github.com/msakai>)).
== Applications
* ((<CPL>)) - A Categorical Programming Language
* ((<hsPTQ>)) - HaskellでのPTQ実装
* ToySolver (((<Hackage|URL:http://hackage.haskell.org/package/toysolver>)), ((<GitHub|URL:https://github.com/msakai/toysolver>)))
* ((<Sudoku solver in yourbrowser|URL:https://dl.dropboxusercontent.com/u/123796/app/minisat_emscripten_sudoku/index.html>)) browser|URL:http://msakai.github.io/minisat_emscripten_sudoku/demo/>)) (((<GitHub|URL:https://github.com/msakai/minisat_emscripten_sudoku>)))
* ((<GIMP plug-ins and etc.|GIMP>)) (no longer maintained)
== Haskell libraries
* ((<MiniSat binding|URL:https://github.com/msakai/haskell-minisat>))
* ((<Hypersets>)) - Non-wellfounded sets
* sign (((<Hackage|URL:http://hackage.haskell.org/package/sign>)), ((<GitHub|URL:https://github.com/msakai/sign>)))
* finite-field (((<Hackage|URL:http://hackage.haskell.org/package/finite-field>)), ((<GitHub|URL:https://github.com/msakai/finite-field>)))
* data-interval (((<Hackage|URL:http://hackage.haskell.org/package/data-interval>)), ((<GitHub|URL:https://github.com/msakai/data-interval>)))
* extended-reals (((<Hackage|URL:http://hackage.haskell.org/package/extended-reals>)), ((<GitHub|URL:https://github.com/msakai/extended-reals>)))
* OptDir (((<Hackage|URL:http://hackage.haskell.org/package/OptDir>)), ((<GitHub|URL:https://github.com/msakai/haskell-optdir>)))
* nonlinear-optimization-ad (((<Hackage|URL:http://hackage.haskell.org/package/nonlinear-optimization-ad>)), ((<GitHub|URL:https://github.com/msakai/nonlinear-optimization-ad>)))
* pseudo-boolean (((<Hackage|URL:http://hackage.haskell.org/package/pseudo-boolean>)), ((<GitHub|URL:https://github.com/msakai/pseudo-boolean>)))
== Ruby
* ((<Ruby-GNOME2|URL:http://ruby-gnome2.sourceforge.jp/>))
* ((<Gimp-Ruby>))
* ((<iconv-io>))
* ((<mo.rb>))
* ((<Rena>))
* ((<ruby-ffcall>))
* ((<ruby-tcc>))
* ((<yagettext>))
* ((<mimetex.rb>))
* ((<CPL>)) - A Categorical Programming Language
* ((<Hypersets>)) - Non well-founded sets
== 人狼関係
* ((<Greasemonkeyで人狼BBSの発言数カウント他|d:20050623#p02>))
* ((<人狼審問 発言ポップアップ Greasemonkeyスクリプト|d:20051110#p01>))
* ((<MAD PEOPLE 用の発言ポップアップスクリプト|d:20060831#p01>))
== Misc / その他
* ((<dibas関係|dibas>))
* ((<D-Pixed関係|D-Pixed>))
* ((<Susie関係|Susie>))
* ((<Rouge>))
* ((<"gtk2 on cygwin"|URL:http://www.tom.sfc.keio.ac.jp/~sakai/cygwin/>))
* その他
* ((<古いページ|URL:http://homepage1.nifty.com/susho/software/index.html>))
* ((<ファイル置き場|URL:http://www.tom.sfc.keio.ac.jp/~sakai/archive/>))
see also ((<my github account|URL:https://github.com/msakai>)).
== Applications
* ((<CPL>)) - A Categorical Programming Language
* ((<hsPTQ>)) - HaskellでのPTQ実装
* ToySolver (((<Hackage|URL:http://hackage.haskell.org/package/toysolver>)), ((<GitHub|URL:https://github.com/msakai/toysolver>)))
* ((<Sudoku solver in your
* ((<GIMP plug-ins and etc.|GIMP>)) (no longer maintained)
== Haskell libraries
* ((<MiniSat binding|URL:https://github.com/msakai/haskell-minisat>))
* ((<Hypersets>)) - Non-wellfounded sets
* sign (((<Hackage|URL:http://hackage.haskell.org/package/sign>)), ((<GitHub|URL:https://github.com/msakai/sign>)))
* finite-field (((<Hackage|URL:http://hackage.haskell.org/package/finite-field>)), ((<GitHub|URL:https://github.com/msakai/finite-field>)))
* data-interval (((<Hackage|URL:http://hackage.haskell.org/package/data-interval>)), ((<GitHub|URL:https://github.com/msakai/data-interval>)))
* extended-reals (((<Hackage|URL:http://hackage.haskell.org/package/extended-reals>)), ((<GitHub|URL:https://github.com/msakai/extended-reals>)))
* OptDir (((<Hackage|URL:http://hackage.haskell.org/package/OptDir>)), ((<GitHub|URL:https://github.com/msakai/haskell-optdir>)))
* nonlinear-optimization-ad (((<Hackage|URL:http://hackage.haskell.org/package/nonlinear-optimization-ad>)), ((<GitHub|URL:https://github.com/msakai/nonlinear-optimization-ad>)))
* pseudo-boolean (((<Hackage|URL:http://hackage.haskell.org/package/pseudo-boolean>)), ((<GitHub|URL:https://github.com/msakai/pseudo-boolean>)))
== Ruby
* ((<Ruby-GNOME2|URL:http://ruby-gnome2.sourceforge.jp/>))
* ((<Gimp-Ruby>))
* ((<iconv-io>))
* ((<mo.rb>))
* ((<Rena>))
* ((<ruby-ffcall>))
* ((<ruby-tcc>))
* ((<yagettext>))
* ((<mimetex.rb>))
* ((<CPL>)) - A Categorical Programming Language
* ((<Hypersets>)) - Non well-founded sets
== 人狼関係
* ((<Greasemonkeyで人狼BBSの発言数カウント他|d:20050623#p02>))
* ((<人狼審問 発言ポップアップ Greasemonkeyスクリプト|d:20051110#p01>))
* ((<MAD PEOPLE 用の発言ポップアップスクリプト|d:20060831#p01>))
== Misc / その他
* ((<dibas関係|dibas>))
* ((<D-Pixed関係|D-Pixed>))
* ((<Susie関係|Susie>))
* ((<Rouge>))
* ((<"gtk2 on cygwin"|URL:http://www.tom.sfc.keio.ac.jp/~sakai/cygwin/>))
* その他
* ((<古いページ|URL:http://homepage1.nifty.com/susho/software/index.html>))
* ((<ファイル置き場|URL:http://www.tom.sfc.keio.ac.jp/~sakai/archive/>))