Software
Software / ソフトウェア
see also my github account.
Applications
- CPL - A Categorical Programming Language
- hsPTQ - HaskellでのPTQ実装
- ToySolver (Hackage, GitHub)
- Sudoku solver in your browser (GitHub)
- GIMP plug-ins and etc. (no longer maintained)
Haskell libraries
- MiniSat binding
- Hypersets - Non-wellfounded sets
- sign (Hackage, GitHub)
- finite-field (Hackage, GitHub)
- data-interval (Hackage, GitHub)
- extended-reals (Hackage, GitHub)
- OptDir (Hackage, GitHub)
- nonlinear-optimization-ad (Hackage, GitHub)
- pseudo-boolean (Hackage, GitHub)
Ruby
- Ruby-GNOME2
- Gimp-Ruby
- iconv-io
- mo.rb
- Rena
- ruby-ffcall
- ruby-tcc
- yagettext
- mimetex.rb
- CPL - A Categorical Programming Language
- Hypersets - Non well-founded sets
Keyword(s):
References:[酒井 政裕 (SAKAI Masahiro)] [SideMenu]