Skip to content
View bblum's full-sized avatar

Block or report bblum

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. landslide-simics landslide-simics Public

    the landslide codebase (old simics version)

    C 11 9

  2. landslide landslide Public

    stateless model checking for thread libraries, kernels, and transactional memory

    C 9 1

  3. sigbovik sigbovik Public

    stuff I have done for sigbovik -- http://sigbovik.org

    TeX 7 1

  4. wordle wordle Public

    automatic solver for the hit game "hello wordl"

    Haskell 4

  5. atomic-all-nighters atomic-all-nighters Public

    static context checking for kernel codebases

    C 1

  6. landslide-old landslide-old Public

    Version of landslide for students to use.

    C 1