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:JavaScript1 0 00
CHILiveCoding
Language:TeX0 3 00
Exampler
Language:TeX0 3 00
FireMason
Language:Haskell5 6 00
FMCAD-poster
00
G2
Language:Haskell36 3 276
G2Q
Language:Haskell3 2 22
G2Stubs
Language:Haskell0 1 01
HSynth
Language:Haskell00

BillHallahan's Repositories

BillHallahan/G2
Language:Haskell36 3 276
BillHallahan/FireMason
Language:Haskell5 6 00
BillHallahan/G2Q
Language:Haskell3 2 22
BillHallahan/BillHallahan.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript1 0 00
BillHallahan/base-4.9.1.0
Language:Haskell01
BillHallahan/CHILiveCoding
Language:TeX0 3 00
BillHallahan/Exampler
Language:TeX0 3 00
BillHallahan/FMCAD-poster
00
BillHallahan/G2Stubs
Language:Haskell0 1 01
BillHallahan/HSynth
Language:Haskell00
BillHallahan/language-sygus
Language:Haskell2 0
BillHallahan/LIVS
Language:JavaScript
BillHallahan/nofib-buggy-symbolic
Language:Haskell
BillHallahan/old.BillHallahan.github.io
Language:HTML
BillHallahan/p4benchmark
Language:Python0 0
BillHallahan/petr4
Petr4: Formal Semantics for P4
Language:OCaml0 0
BillHallahan/SymH
Language:Haskell
BillHallahan/WeeklySeries
Language:TeX