johnbender/cs-201
Lecture write-ups from Computer Science 201, Seminars in Computer Science, at UCLA, Fall 2013
Developer Profile
johnbender
Discovered public repositories for johnbender in the GitHub catalog.
johnbender/cs-495
Self-critiques and presentation material from Computer Science 495, Teaching Assistant Training, at UCLA, Fall 2013
johnbender/hssqlppp
sql parser and type checker in haskell
johnbender/sql-delta
A tool to augment the descriptive declarative syntax of SQL DDL with differential semantics.
johnbender/solarized-dark-skin-chrome-devtools
Solarized Dark Skin for the Chrome DevTools
johnbender/differential-semantics
Typesetting playground for thoughts around differential semantics
johnbender/deltasql
A tool/library for parsing diffs of monotonic SQL DDL statements and producing the idempotent equivalent SQL.
johnbender/presentation-resources-local-reasoning
Beamer presentation on O’Hearn's "Resources, Concurrency and Local Reasoning" which covers heap space ownership through Separation logic
johnbender/mustache
Logic-less Ruby templates.
johnbender/vagrant-digitalocean
This repository has moved to: https://github.com/smdahlen/vagrant-digitalocean
johnbender/presentation-vagrant-intro
A 20 min introduction to Vagrant
johnbender/presentation-cs-foibles
A presentation on the application of mathematics to semantic ambiguity in programming languages
johnbender/presentation-template
My template for new presentations. Currently it leverages reveal.js
johnbender/reveal.js
The HTML Presentation Framework
johnbender/wield
A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.
johnbender/johnbender.github.com
Statically generated version of my blog
johnbender/jquery
jQuery JavaScript Library
johnbender/presentation-pe-mobile-web
A presentation on the progressive enhancement approach to the mobile web and how jQuery Mobile uses it.
johnbender/grunt-junit
A small alteration to grunt's default phantom.js and qunit.js files to support rudimentary junit xml output
johnbender/presentation-faster-js
A presentation on category theory and fusing jQuery method chains
johnbender/cv
curriculum vitae targeted at graduate admissions
johnbender/presentation-jqm-rails
PE presentation for Railsconf 2012
johnbender/jquery-lazy-proxy
Lazy implementation of chained methods for automatic loop fusion
johnbender/applications-cat-theory
Paper and poster for oopsla 2012 revolving around an attempt to suggest jquery method chain optimizations for the end user
johnbender/jqm-rails
A simple application used to highlight some important consideration when using jqm with rails.
johnbender/presentation-jqm-intro
An introduction to jQuery Mobile
johnbender/jquery-mobile-phonegap
A starting-point for PhoneGap apps
johnbender/qunit
An easy-to-use JavaScript Unit Testing framework.
johnbender/presentation-jqmdevrel
jQuery Mobile information for developer relations
johnbender/presentation-middleware
A presentation on using Rack-middleware-like object composition
johnbender/presentation-mobile-bakeoff
QCon SF 2011 Presentation in conjunction with a handful of other frameworks
johnbender/presentation-jsfunctors
A presentation to go along with a post written on how jQuery in some lights looks like a functor.
johnbender/presentation-native-vs-mobile
A fifteen minute presentation covering the basic trade-offs when choosing web or native for mobile application development
johnbender/rubinius
Rubinius, the Ruby Environment
johnbender/presentation-jsinjs
A showoff presentation about js testing in js, covering the why's and wherefores.
johnbender/jshint-service
a minimal jshint service based on node
johnbender/snap-skeleton
A snap project skeleton that makes setting up the haskell platform and snap dead simple with Vagrant
johnbender/jquery-mobile
jQuery Mobile Framework
johnbender/effin
A small command line client to generate ruby FFI definitions from a c headers
johnbender/active_merchant
Active Merchant is a simple payment abstraction library used in and sponsored by Shopify. It is written by Tobias Luetke, Cody Fauser, and contributors. The aim of the project is to feel natural to Ruby users and to abstract as many parts as possible away from the user to offer a consistent interface across all supported gateways. Added support for PayPal recurring payment with the SOAP API.
johnbender/flawed
a small jquery extension to communicate client side errors to the server for logging
johnbender/haskell-platform-cookbooks
A cookbook for building haskell platform on 32 bit vagrant boxes
johnbender/perchance
makes nil checking easier
johnbender/mario
Mario moves between platforms with ease, he's brought his tools along to help you do the same
johnbender/bebop
A resource routing extension for Sinatra/Monk
johnbender/unraverl
An erlang module built to provide language features and other operations through manipulation of the abstract form.
johnbender/rquery
An ActiveRecord extension providing a DSL replacement for complex find queries.
johnbender/grove
A small library for querying Mnesia with structured JSON converted to list comprehensions.
johnbender/delicious-user-top
A plugin for forums/blogs/sites that addes the top links for a given delicious user for a given set of tags
johnbender/github-repos
Simple javascript that allows for easy inclussion of your GitHub repo information in any webpage.