Skip to content

Instantly share code, notes, and snippets.

View wilbowma's full-sized avatar

William J. Bowman wilbowma

View GitHub Profile
@wilbowma
wilbowma / pipe.py
Created March 7, 2014 18:06
minimal patch
# This allows us to launch Python and pygments once, and pipe to it
# continuously. Input format is:
#
# <lexer-name>
# <code>
# ...
# __END__
#
# OR
#
@wilbowma
wilbowma / hyperlink.scrbl
Created March 7, 2014 18:17
A minimal example of some bugs
@wilbowma
wilbowma / handin.service
Created March 19, 2014 14:13
CS2500 handin units
[Unit]
Description=CS2500 Handin server
Requires=network.target xvfb.service
After=network.target
[Service]
Type=simple
Environment="DISPLAY=:99"
WorkingDirectory=/home/bluephoenix47/cs2500-server/cs2500-server
User=bluephoenix47
#lang racket
(module+ test
(require racket/trace
rackunit)
(let ([x (current-output-port)])·
(current-trace-notify (lambda (s)
(display s x)
(newline x))))
(trace-define (verbose-fact x)
(define-syntax (trace-define stx)
(syntax-case stx ()
[(_ e ...)
(with-syntax ([name (syntax-local-infer-name stx)])
#'(begin (define e ...) (trace name)))]))
#lang racket
(module ...
(define-syntax (trace syn)
....)
(define-syntax (trace-define-syntax syn)
(syntax-case syn ()
[(_ e ...)
....
@wilbowma
wilbowma / keybase.md
Last active August 29, 2015 14:05
keybase.md

Keybase proof

I hereby claim:

  • I am wilbowma on github.
  • I am wilbowma (https://keybase.io/wilbowma) on keybase.
  • I have a public key whose fingerprint is 0F99 8B97 6741 4625 1964 B587 DDD4 8D26 958F 0D1A

To claim this, I am signing this object:

@wilbowma
wilbowma / PKGBUILD
Created November 24, 2014 21:01
Updated haskell-cpphs PKGBUILD
# custom variables
_hkgname=cpphs
_licensefile=LICENSE
# PKGBUILD options/directives
pkgname=haskell-cpphs
pkgver=1.18.6
pkgrel=1
pkgdesc="Cpphs is a re-implementation of the C pre-processor that is both more compatible with Haskell."
url="http://hackage.haskell.org/package/${_hkgname}"
#lang scribble/sigplan @preprint @10pt
@(require scriblib/footnote)
@(require "bib.rkt")
@title{Profile-Guided Meta-Programming}
@(authorinfo "William J. Bowman" "Northeastern University" "wilbowma@ccs.neu.edu")
@(authorinfo
(elem "Swaha Miller" (note "Author is currently affiliated with VMware, Inc (swaham@vmware.com)"))
"Cisco Systems, Inc"
"swamille@cisco.com")
#lang racket
(define lookup (compose cdr assoc))
(define (extend-env x e env) (cons `(,x . ,e) env))
(define init-env
`((zero? . ,zero?)
(sub1 . ,sub1)
(add1 . ,add1)
(* . ,*)