brianhuffman's repositories
three-sphere
Graphical visualization of geometry in a 3-sphere
cryptol-math
Cryptol formalizations of various bits of abstract mathematics.
BSD-2-Clause000
cryptol-mode
A Cryptol major mode for Emacs.
Language:Emacs LispGPL-3.0000
cryptol-semantics
Semantics of Cryptol formalized in Isabelle
Language:Isabelle000
euler
Project Euler solutions
Language:Haskell000
game-notes
Notes and hints about various video games
000
game-passwords
Reverse-engineered algorithms for generating video game passwords/saves.
Language:HTML000
goParseBSV
A standalone parser for BSV (Bluespec SystemVerilog) written in Go
Language:GoMIT000
haddock
Haskell Documentation Tool
Language:HTMLNOASSERTION000
panic
A Haskell library for reporting unexpected behavior.
Language:HaskellISC000
publications
My conference publications
Language:TeX000
retro-fpga
Circuit-level descriptions of C64 and other retro computing hardware
Language:SystemVerilogMIT000
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Language:HaskellNOASSERTION000