brianhuffman's repositories
three-sphere
Graphical visualization of geometry in a 3-sphere
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
euler
Project Euler solutions
cryptol
Cryptol: The Language of Cryptography
game-notes
Notes and hints about various video games
game-passwords
Reverse-engineered algorithms for generating video game passwords/saves.
goParseBSV
A standalone parser for BSV (Bluespec SystemVerilog) written in Go
haddock
Haskell Documentation Tool
panic
A Haskell library for reporting unexpected behavior.
publications
My conference publications
retro-fpga
Circuit-level descriptions of C64 and other retro computing hardware
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.