jabney

// The default comparator is for any values that can be
// compared with '==', '<', '<=', '>', '>='.
function defaultComparator(candidate, target) {
  if (target < candidate) {
    return -1
  } else if (target > candidate) {
    return 1
  } else {
    return 0
  }

jabney

import os
import re
import gzip
import base64
import json
from glob import glob
from argparse import ArgumentParser

from KnoDB.crawler.scc import case_parser
from KnoDB.crawler import bcca

jabney

// Return the post-transform coords of an element,
// assuming that proper pre-transform coords are supplied.
function getElementCoords(element, coords) {
    var ctm = element.getCTM(),
    xn = ctm.e + coords.x*ctm.a,
    yn = ctm.f + coords.y*ctm.d;
    return { x: xn, y: yn };
};

var circle = document.getElementById('svgCircle'),

jabney

(function() {
'use strict';

// Create a factory function (a function that returns an object).
function aFactory() {
    // Create a data store.
    var _data = [];
    
    // Add supplied arguments to the data store.
    if (arguments.length)

jabney

"""
Generate fontawesome icon set in JSON format from website cheatsheet.
http://fortawesome.github.io/Font-Awesome/cheatsheet/

Usage: python gen_fontawesome.py
Output: font-awesome.json
{icon_name: entity_reference, ...}

Author: James Abney
Date: 2015-05-21

jabney

{"cc": "", "bookmark": "", "venus-mars": "", "arrow-circle-o-down": "", "comment-o": "", "long-arrow-left": "", "arrow-right": "", "delicious": "", "chevron-circle-left": "", "bullhorn": "", "outdent": "", "jpy": "", "drupal": "", "hdd-o": "", "hand-o-left": "", "pinterest": "", "plane": "", "question": "", "child": "", "circle-o": "", "italic": "", "meanpath": "", "subway": "", "google-plus": "", "angle-up": "", "star": "", "star-half-empty": "", "facebook-official": "", "youtube-square": "", "rss": "", "toggle-off": "", "list-ol": "", "dot-circle-o": "", "copyright": "", "user": "", "key": "", "minus-square-o": "", "mobile": "", "table": "", "columns": "", "bolt": "", "fighter-jet": "&

jabney

// This augmentation style is appropriate for a factory-style function,
// which might be something that was imported as part of a library.
var factory = function factory() {
  var data = [];
  
  // Return an object with one or more methods.
  return {
    
    init: function() {
      data.push.apply(data, arguments);

jabney

/*
  containers.js
  MIT License © 2015 James Abney
  http://github.com/jabney

  Containers: bag, stack, queue, double-ended queue (deque),
  priorityQueue, and set.

  See documentation at http://github.com/jabney/containers.js
*/

jabney

// graph.js © 2015 James Abney http://github.com/jabney
(function(ex, undefined) {
'use strict';

var gr = ex.graph || (ex.graph = Object.create(null));

// ---------------------------------------------------------------
// The graph abstract data type.
// ---------------------------------------------------------------
gr.graph = function graph(numVerts) {

jabney

// huffman.js © 2014 James Abney http://github.com/jabney
// Huffman coding was invented by David A. Huffman of MIT, 1952.
(function() {
'use strict';

// A toy implementation of Huffman compression. The result of
// encoding is a bit string. In this form it's not truly compressed,
// but the bit string represents the binary values after compression.
function huffman(str) {
  var ft = frequencyTable(str), ht = huffTree(ft);