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 🏀📊
Language:JavaScript0 3 20
kripke
Kripke semantics
Language:PureScript4 2 00
propaganda
Talks, blog posts, etc.
0 2 00
purescript-free-group
Free groups in Purescript
Language:PureScript4 2 00
purescript-meaning-explanations
Meaning explanations, or, proof-carrying code is easy
Language:PureScript7 4 10
slick-mongoose
Five-coloring planar graphs http://harrisonrbrown.com/slick-mongoose
Language:TypeScript3 2 31
wang
A theorem prover for classical propositional logic
Language:PureScript2 2 00
zero-one
A 0-1 integer programming library in Javascript.
Language:JavaScript2 3 10
purescript-group
Algebraic groups for PureScript.
Language:PureScript6 5 66

hrb90's Repositories

hrb90/zero-one
A 0-1 integer programming library in Javascript.
Language:JavaScript2 3 10
hrb90/py-othello
Computer Othello
Language:Python10
hrb90/mjqga
Language:JavaScript
hrb90/react-emoji
An emoji mixin for React
Language:JavaScript
hrb90/ruby-chess
Ruby chess
Language:Ruby
hrb90/ruby-minesweeper
Ruby minesweeper in the command line
Language:Ruby