Skip to content
View johnbender's full-sized avatar
281 followers · 4 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruckx3

Highlights

  • Pro

Organizations

@Farmhouse

Block or report johnbender

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • sbv Public

    Forked from LeventErkok/sbv

    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

    Haskell Other Updated Oct 11, 2024

  • jqm-rails Public

    A simple application used to highlight some important consideration when using jqm with rails.

    Ruby 17 3 Updated Jul 21, 2022

  • blog Public

    Forked from 11ty/eleventy-base-blog

    A starter repository for a blog web site using the Eleventy static site generator.

    HTML MIT License Updated Mar 15, 2022

  • johnbender.github.com Public

    Statically generated version of my blog

    HTML 1 Updated Mar 14, 2022

  • workstation Public

    Simple config for my workstation VM

    Emacs Lisp Updated Sep 18, 2019

  • cv Public

    curriculum vitae targeted at graduate admissions

    TeX 4 Updated Jul 20, 2018

  • homebrew-emacs-plus Public

    Forked from d12frosted/homebrew-emacs-plus

    Emacs Plus formulae for the Homebrew package manager

    Ruby Updated Jan 18, 2018

  • cs269 Public

    Notes and project work for CS269 with Prof. Guy Van den Broeck, UCLA Fall 2017

    Coq Updated Dec 14, 2017

  • shannon Public

    Formalization of Shannon's Theorem from https://staff.aist.go.jp/reynald.affeldt/shannon/

    Coq Updated Aug 30, 2017

  • sight-words Public

    HTML Updated May 26, 2017

  • heroku-buildpack-python-issue Public

    Heroku repository to reproduce `pip` install issue

    Updated Dec 19, 2016

  • heroku-buildpack-python Public

    Forked from heroku/heroku-buildpack-python

    The official Heroku buildpack for Python apps.

    Shell MIT License Updated Dec 19, 2016

  • cs-132-publish Public

    HTML Updated May 20, 2016

  • oopsla-2015-presentation Public

    My presentation for OOPSLA 2015

    JavaScript Updated May 17, 2016

  • spacemacs Public

    Forked from syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp Updated Apr 14, 2016

  • olson Public

    A tiny recognizer using parsing expression grammars.

    JavaScript 1 1 Updated Sep 9, 2015

  • docker-host Public

    Shell Updated Aug 19, 2015

  • cs-237b Public

    UCLA CS 237b - Langauge Design and Implementation

    HTML Updated Jun 9, 2015

  • discourse Public

    Forked from discourse/discourse

    A platform for community discussion. Free, open, simple.

    Ruby GNU General Public License v2.0 Updated Jun 5, 2015

  • cs-237a Public

    UCLA CS 237a - Prototyping Programming Languages

    JavaScript Updated Mar 15, 2015

  • todomvc Public

    Forked from tastejs/todomvc

    Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more

    JavaScript 4 2 Other Updated Jan 7, 2015

  • cs-289a Public

    Scribe notes and other stuff from CS 289a Fall 2014 at UCLA

    TeX Updated Dec 19, 2014

  • software-foundations Public

    Excercises/code for Software Foundations

    Coq 1 MIT License Updated Nov 16, 2014

  • DeviceTiming Public

    Forked from despeset/DeviceTiming

    Instrument your JavaScript to measure parse & execution time on any device or browser

    JavaScript MIT License Updated Oct 29, 2014

  • homesteading_assets Public

    A collection of Rails controller/view assets shared across multiple Homesteading publisher apps

    Ruby Updated Oct 5, 2014

  • twenty-questions Public

    A tool and protocol for discriminative exploration of solutions to programmer questions.

    Haskell 1 Updated Jun 13, 2014

  • cs-201 Public

    Lecture write-ups from Computer Science 201, Seminars in Computer Science, at UCLA, Fall 2013

    1 Updated May 29, 2014

  • css-inapplicable-load Public

    Forked from scottjehl/css-inapplicable-load

    Testing for Asynchronous Load of Inapplicable CSS StyleSheets

    PHP Updated May 14, 2014

  • wield Public

    A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.

    JavaScript 53 4 Other Updated Apr 29, 2014

  • concurrent-logics Public

    Work and studies in concurrent programming logics

    TeX Updated Apr 20, 2014