酒井 政裕 (SAKAI Masahiro)  Index  Search  Changes  RSS  Login

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

人狼関係

  • Greasemonkeyで人狼BBSの発言数カウント他
  • 人狼審問 発言ポップアップ Greasemonkeyスクリプト
  • MAD PEOPLE 用の発言ポップアップスクリプト

Misc / その他

  • dibas関係
  • D-Pixed関係
  • Susie関係
  • Rouge
  • gtk2 on cygwin
  • その他
    • 古いページ
    • ファイル置き場
Last modified:2017/09/09 15:29:23
Keyword(s):
References:[酒井 政裕 (SAKAI Masahiro)] [SideMenu]

メニュー

  • FrontPage
  • Who I am
  • 日記「ヒビルテ」

My Activities

  • Softwares
  • Talks
  • Writings
  • Translations
  • Other contributions
  • Media
  • Programming Contests
  • Learning on MOOC
  • Running
  • Ingress
  • Are You a Werewolf? (人狼)

授業関係

  • 向井研Wiki
  • コンパイラ構成論 (2003年秋)
  • 情報数学I (2001年秋)
  • 記号処理プログラミング・掲示板

その他

  • 千衣アンテナ (はてな版)
  • メーリングリストアーカイブ
  • RSS
  • カレンダー(RDFical)
  • 湘南語録
  • 湘南高校 1999年 White
  • WhiteFeather内輪ページ
  • HAQ検索
  • 人狼審問ログアーカイブ
  • 古い日記
  • Google Plus Backup
  • orphan

検索

最新の20件

2022-09-14
  • Talks
2022-08-18
  • Writings
2022-06-11
  • MOOC
  • ランニング
2020-12-31
  • 翻訳
2020-07-21
  • 圏論
2020-05-20
  • さかい
2019-04-06
  • SideMenu
  • ProgrammingContests
  • Ingress
2018-11-08
  • その他貢献など
2017-09-09
  • hsPTQ
  • Software
2016-10-14
  • PDF
  • WritingTips
2016-07-15
  • HaskellSMT
2016-04-11
  • 酒井 政裕 (SAKAI Masahiro)
2016-04-07
  • メディア掲載・出演
2015-12-23
  • Windows
2015-12-04
  • 素材サイト

Generated by Hiki 2.0.0.pre1 (2014-08-13).
Powered by Ruby 2.2.10-p489 (2018-03-28).
Founded by SAKAI Masahiro.