NAKASHIMA, Makoto gifnksm
gifnksm
/ jsparsec.js
Created
March 7, 2010 04:53
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| var Combinator = function(fun) { | |
| if (typeof fun === 'function') | |
| this.parse = fun; | |
| }; | |
| Combinator.define = function(fun) { | |
| var c = new this(); | |
| fun.call(c); | |
| return c; | |
| }; | |
| Combinator._rjoin = function(fun) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| default xml namespace = "http://www.w3.org/1999/xhtml"; | |
| (function() { | |
| var parser = new DOMParser(), | |
| range = document.createRange(); | |
| function toDOM(xmlns) { | |
| var pretty = XML.prettyPrinting; | |
| // disable prettyPringing temporary to avoid extra space inclusion | |
| XML.prettyPrinting = false; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function nicovideo_createPanel(id, labelText) { | |
| let panelID = 'itab_' + id; | |
| let label = document.createElement('a'); | |
| label.href = '#' + panelID; | |
| label.innerHTML = '<div>' + labelText + '</div>'; | |
| // remove extra <a>...</a> | |
| label.firstChild.textContent = labelText; | |
| document.querySelector('#itab td').appendChild(label); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| function ssh-start() { | |
| ssh-agent -s > "${HOME}/.ssh/agent-env" | |
| . "${HOME}/.ssh/agent-env" | |
| ssh-add | |
| } | |
| if [ -e "${HOME}/.ssh/agent-env" ]; then | |
| isAliveAgent=`ps -ef | grep "/ssh-agent" | grep -v grep | wc -l` | |
| if [ $isAliveAgent = 1 ]; then | |
| echo "ssh-agent is alive" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| if (!('nicovideo_getFlv' in window)) { | |
| const Getter = function(videoID) { | |
| this._videoID = videoID; | |
| this._callbacks = []; | |
| }; | |
| Getter.prototype = { | |
| _videoID: null, | |
| _lock: false, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Data = { | |
| count: Integer, // タグの個数 | |
| first: Date, // タグ情報を最初に取得した日時 | |
| last: Date, // タグ情報を最後に取得した日時 | |
| tags: [Tag] // タグ情報の配列 | |
| }; | |
| Tag = { | |
| id: Integer, // タグのID | |
| name: String, // タグ名 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| const NAMESPACE = 'mfp.xrea.jp'; | |
| if (!(NAMESPACE in window)) | |
| window[NAMESPACE] = {}; | |
| if (window[NAMESPACE].DataGrid !== undefined) | |
| return; | |
| const DataGrid = function(property, namePrefix) { | |
| this._property = new DataGrid.Property(property); | |
| this._namePrefix = namePrefix || ''; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (function() { | |
| const NAMESPACE = 'mfp.xrea.jp'; | |
| if (!(NAMESPACE in window)) | |
| window[NAMESPACE] = {}; | |
| if (window[NAMESPACE].Pager !== undefined) | |
| return; | |
| const Pager = function(namePrefix) { | |
| this._namePrefix = namePrefix; | |
| this._callbacks = []; |
gifnksm
/ titech_portal_auto_login.user.js
Created
February 21, 2011 17:31
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // ==UserScript== | |
| // @name Titech Portal Auto Login | |
| // @namespace http://www.titech.ac.jp/ | |
| // @id [email protected] | |
| // @description 東工大ポータルに自動的にログインします | |
| // @author NAKASHIMA, Makoto <[email protected]> | |
| // @include https://portal1.nap.gsic.titech.ac.jp/* | |
| // @include https://portal.nap.gsic.titech.ac.jp/* | |
| // @include http://portal.titech.ac.jp/* | |
| // @jsversion 1.8 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| subdirs=c d java haskell rust | |
| .PHONY: all clean $(subdirs) | |
| all: $(subdirs) | |
| clean: $(subdirs) | |
| $(subdirs): | |
| make -C $@ $(MAKECMDGOALS) |