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 your browser|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/>))