Pinned Repositories
bc64
Commodore 64 emulator
cryptol
Cryptol: The Language of Cryptography
cryptol-math
Cryptol formalizations of various bits of abstract mathematics.
cryptol-mode
A Cryptol major mode for Emacs.
cryptol-semantics
Semantics of Cryptol formalized in Isabelle
dis65
Binary disassembler for 6502 machine code
drmario
Disassembly of Dr. Mario NES game.
mega1541
Commodore 1541 disk drive emulator for Arduino Mega
three-sphere
Graphical visualization of geometry in a 3-sphere
tis-100
TIS-100 solutions
brianhuffman's Repositories
brianhuffman/tis-100
TIS-100 solutions
brianhuffman/drmario
Disassembly of Dr. Mario NES game.
brianhuffman/mega1541
Commodore 1541 disk drive emulator for Arduino Mega
brianhuffman/bc64
Commodore 64 emulator
brianhuffman/dis65
Binary disassembler for 6502 machine code
brianhuffman/three-sphere
Graphical visualization of geometry in a 3-sphere
brianhuffman/cryptol
Cryptol: The Language of Cryptography
brianhuffman/cryptol-math
Cryptol formalizations of various bits of abstract mathematics.
brianhuffman/cryptol-mode
A Cryptol major mode for Emacs.
brianhuffman/cryptol-semantics
Semantics of Cryptol formalized in Isabelle
brianhuffman/euler
Project Euler solutions
brianhuffman/game-notes
Notes and hints about various video games
brianhuffman/game-passwords
Reverse-engineered algorithms for generating video game passwords/saves.
brianhuffman/goParseBSV
A standalone parser for BSV (Bluespec SystemVerilog) written in Go
brianhuffman/haddock
Haskell Documentation Tool
brianhuffman/panic
A Haskell library for reporting unexpected behavior.
brianhuffman/publications
My conference publications
brianhuffman/retro-fpga
Circuit-level descriptions of C64 and other retro computing hardware
brianhuffman/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.