Harrison Brown's repositories
purescript-meaning-explanations
Meaning explanations, or, proof-carrying code is easy
purescript-free-group
Free groups in Purescript
slick-mongoose
Five-coloring planar graphs http://harrisonrbrown.com/slick-mongoose
propaganda
Talks, blog posts, etc.
checkmarks
The President's timeline is under attack! Are you a bad enough dude to save the President's timeline?
data-structures
for practicing with data structures
documentation
Documentation for the PureScript language, compiler, and tools.
elm-nonempty-list
head and tail without the Maybe
fundamentals
For myself, to mess around with things I find interesting.
hrb90.github.io
Static sites
hutton-purs
just a teensy parser for hutton's razor
kripke-explorer
Modal Logic Playground
minsweeper
Better Minesweeper, in your browser.
purescript-chungpodo
Type level fun with Union and RowToList
purescript-css
A clean, type-safe library for describing, manipulating and rendering CSS
purescript-glitter
quick interactive testing of parsers
purescript-group
Algebraic groups for PureScript.
purescript-sparkle
Infer user interfaces from type signatures
style-elements
Create styles that don't mysteriously break!
therapy-worksheet
writing purescript to feel less sad