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
{- This is case study 1 for CIS 623, by Kevin Wang, Spring 2013 -} | |
{- here we define the well-formed formula -} | |
data WFF = VAR String | |
| NEG WFF | |
| AND WFF WFF | |
| OR WFF WFF | |
| IMPLY WFF WFF | |
{- here we define the WFF function, which is implemation free -} |
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
This is for CIS644_Lab2_LKM part, also the optional part |
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
#define APP_NAME "sniffex" | |
#define APP_DESC "Sniffer example using libpcap" | |
#define APP_COPYRIGHT "Copyright (c) 2005 The Tcpdump Group" | |
#define APP_DISCLAIMER "THERE IS ABSOLUTELY NO WARRANTY FOR THIS PROGRAM." | |
// only one of the following three should be enabled | |
//#define SNIFF_ICMP_ON | |
//#define SNIFF_TCP_PORTRANGE_ON | |
#define SNIFF_TELNET_ON |
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 notif = 100; // +1数,100就是99+的效果了 | |
var plus_one = true; // true为+1,false为取消+1 | |
var po, clocker, more=document.querySelector('.a-n.Op.Ht'); | |
clocker = setInterval(function () { | |
if ((po=document.querySelectorAll('div[aria-pressed="'+(!plus_one)+'"][plus_plus="1"]')).length<notif) { | |
console.debug('拉取帖子中.. 等等啦!'); | |
more.click(); | |
} | |
else { | |
clearInterval(clocker); |
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 $K = KissogramToolkit = (function ($$d) { | |
// some configuration | |
var DEBUG_ON = false; | |
// Basic function ============================================== | |
// for each | |
function each($arr, $func) { | |
var item; | |
if (!$arr) |
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
/*! | |
* WebSocket45 Javascript Library v0.1 | |
* http://code.google.com/p/util45/ | |
* | |
* Copyright 2011, Kevin Wang | |
* E-Mail : [email protected] | |
* Dual licensed under the MIT or GPL Version 2 licenses. | |
*/ | |
/* |
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 G++ | |
// @id google_plus_plus_pokerface | |
// @namespace me.senseofti.toolkit.google | |
// @description Google Plus Forger. Make your own Google Plus. | |
// @license GPL v3 or later version | |
// @updateURL http://userscripts.org/scripts/source/127787.meta.js | |
// @exclude *://plus.google.com/_/apps-static/* | |
// @exclude *://plus.google.com/u/0/_/notifications/frame?* | |
// @include *://plus.google.com/* |
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 Layout+ | |
// @version 0.1 | |
// @id layout_plus_pokerface | |
// @description Google Plus Forger. Make your own Google Plus. | |
// @namespace me.senseofti.toolkit.google | |
// @license GPL v3 or later version | |
// @exclude *://plus.google.com/_/apps-static/* | |
// @exclude *://plus.google.com/u/*/_/* | |
// @exclude *://plus.google.com/up/* |
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 Google+ Timeline for the New UI | |
// @id google_plus_ui_sucks_pokerface | |
// @namespace in.co.tossing.toolkit.google | |
// @description Turn the G+ post stream into a timeline!! | |
// @license GPL v3 or later version | |
// @updateURL http://userscripts.org/scripts/source/130658.meta.js | |
// @exclude *://plus.google.com/_/apps-static/* | |
// @exclude *://plus.google.com/u/0/_/notifications/frame?* | |
// @include *://plus.google.com/* |
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 Google+ Pinterest for the New UI | |
// @version 0.9 | |
// @id google_plus_ui_sucks_pinterest_pokerface | |
// @namespace in.co.tossing.toolkit.google | |
// @downloadURL https://userscripts.org/scripts/source/130955.user.js | |
// @updateURL https://userscripts.org/scripts/source/130955.meta.js | |
// @run-at document-end | |
// @grant GM_addStyle | |
// @grant GM_xmlhttpRequest |