Skip to content
Avatar
8 followers · 0 following · 1

Highlights

  • Arctic Code Vault Contributor
Block or Report
  • Block or report user

    Block or report brianhuffman

    Block user

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

    Report abuse

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

    Report abuse

Popular repositories

  1. tis-100

    TIS-100 solutions

    7 1

  2. mega1541

    Commodore 1541 disk drive emulator for Arduino Mega

    C 4 1

  3. bc64

    Commodore 64 emulator

    C 1

  4. three-sphere

    Graphical visualization of geometry in a 3-sphere

    Haskell 1

  5. dis65

    Binary disassembler for 6502 machine code

    Haskell 1

  6. drmario

    Disassembly of Dr. Mario NES game.

    Makefile 1

1,487 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

April 2021

Created 15 commits in 2 repositories

Created a pull request in GaloisInc/saw-script that received 6 comments

Update cryptol and saw-core submodules to support exclusive enumerations.

This includes the following submodule PRs: GaloisInc/cryptol#1085 "exclusive-enumeration" GaloisInc/saw-core#188 "PLiteralLessThan"

+2 −2 • 6 comments
Opened 4 other pull requests in 2 repositories
Reviewed 7 pull requests in 3 repositories
Opened 1 issue in 1 repository
GaloisInc/cryptol
1 closed

Seeing something unexpected? Take a look at the GitHub profile guide.