Skip to content
View bchurchill's full-sized avatar

Organizations

@StanfordPL

Block or report bchurchill

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

Popular repositories Loading

  1. pldi19-equivalence-checker pldi19-equivalence-checker Public

    Forked from StanfordPL/stoke

    Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

    C++ 37 10

  2. xmonad-pulsevolume xmonad-pulsevolume Public

    Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar

    Shell 18 3

  3. badi-cal badi-cal Public

    A javascript library for Badi calendar conversions.

    JavaScript 11 4

  4. bahai-quotes bahai-quotes Public

    A selection of quotes to appear in an application.

    Ruby 7 4

  5. rack-timesec rack-timesec Public

    Rack middleware to prevent timing attacks

    Ruby 5

  6. EFCacheContains EFCacheContains Public

    A library to help cache query plans using the 'contains' method for Entity Framework

    C# 4 1