Beast code in Giters

brianhuffman's repositories

tis-100

TIS-100 solutions

1300

drmario

Disassembly of Dr. Mario NES game.

Language:Makefile500

mega1541

Commodore 1541 disk drive emulator for Arduino Mega

Language:C400

bc64

Commodore 64 emulator

Language:C100

dis65

Binary disassembler for 6502 machine code

Language:Haskell100

three-sphere

Graphical visualization of geometry in a 3-sphere

Language:HaskellBSD-3-Clause100

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