hrb90
Northern Virginia. Based software developer. Math enthusiast, but a pretty wack M.C.
Washington, DC
Pinned Repositories
ddl
Data Don't Lie: an interactive visualization of NBA statistics 🏀📊
kripke
Kripke semantics
propaganda
Talks, blog posts, etc.
purescript-free-group
Free groups in Purescript
purescript-meaning-explanations
Meaning explanations, or, proof-carrying code is easy
slick-mongoose
Five-coloring planar graphs http://harrisonrbrown.com/slick-mongoose
wang
A theorem prover for classical propositional logic
zero-one
A 0-1 integer programming library in Javascript.
purescript-group
Algebraic groups for PureScript.
hrb90's Repositories
hrb90/purescript-meaning-explanations
Meaning explanations, or, proof-carrying code is easy
hrb90/kripke
Kripke semantics
hrb90/purescript-free-group
Free groups in Purescript
hrb90/slick-mongoose
Five-coloring planar graphs http://harrisonrbrown.com/slick-mongoose
hrb90/wang
A theorem prover for classical propositional logic
hrb90/slabb
Live chat web app
hrb90/ddl
Data Don't Lie: an interactive visualization of NBA statistics 🏀📊
hrb90/propaganda
Talks, blog posts, etc.
hrb90/checkmarks
The President's timeline is under attack! Are you a bad enough dude to save the President's timeline?
hrb90/data-structures
for practicing with data structures
hrb90/Deutron
hrb90/documentation
Documentation for the PureScript language, compiler, and tools.
hrb90/elm-nonempty-list
head and tail without the Maybe
hrb90/fundamentals
For myself, to mess around with things I find interesting.
hrb90/haskell-book
hrb90/hrb90.github.io
Static sites
hrb90/hutton-purs
just a teensy parser for hutton's razor
hrb90/kripke-explorer
Modal Logic Playground
hrb90/minsweeper
Better Minesweeper, in your browser.
hrb90/pretty-practice
hrb90/purescript-chungpodo
Type level fun with Union and RowToList
hrb90/purescript-css
A clean, type-safe library for describing, manipulating and rendering CSS
hrb90/purescript-dge
hrb90/purescript-glitter
quick interactive testing of parsers
hrb90/purescript-group
Algebraic groups for PureScript.
hrb90/purescript-sparkle
Infer user interfaces from type signatures
hrb90/purty
PureScript pretty-printer
hrb90/stryker
The JavaScript mutation testing framework
hrb90/style-elements
Create styles that don't mysteriously break!
hrb90/therapy-worksheet
writing purescript to feel less sad