BillHallahan

Pinned Repositories

base-4.9.1.0
Language:Haskell01
BillHallahan.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript10
CHILiveCoding
Language:TeX00
Exampler
Language:TeX00
FireMason
Language:Haskell40
FMCAD-poster
00
G2
Language:Haskell33 3 256
G2Q
Language:Haskell32
G2Stubs
Language:Haskell01
HSynth
Language:Haskell00

BillHallahan's Repositories

BillHallahan/G2
Language:Haskell33 3 256
BillHallahan/FireMason
Language:Haskell40
BillHallahan/G2Q
Language:Haskell32
BillHallahan/BillHallahan.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript10
BillHallahan/base-4.9.1.0
Language:Haskell01
BillHallahan/CHILiveCoding
Language:TeX00
BillHallahan/Exampler
Language:TeX00
BillHallahan/FMCAD-poster
00
BillHallahan/G2Stubs
Language:Haskell01
BillHallahan/HSynth
Language:Haskell00
BillHallahan/language-sygus
Language:Haskell
BillHallahan/LIVS
Language:JavaScript
BillHallahan/old.BillHallahan.github.io
Language:HTML
BillHallahan/p4benchmark
Language:Python
BillHallahan/petr4
Petr4: Formal Semantics for P4
BillHallahan/SymH
Language:Haskell
BillHallahan/WeeklySeries
Language:TeX