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/purescript-meaning-explanations
Meaning explanations, or, proof-carrying code is easy
Language:PureScript7 4 10
hrb90/kripke
Kripke semantics
Language:PureScript4 2 00
hrb90/purescript-free-group
Free groups in Purescript
Language:PureScript4 2 00
hrb90/slick-mongoose
Five-coloring planar graphs http://harrisonrbrown.com/slick-mongoose
Language:TypeScript3 2 31
hrb90/wang
A theorem prover for classical propositional logic
Language:PureScript2 2 00
hrb90/slabb
Live chat web app
Language:JavaScript1 2 0
hrb90/ddl
Data Don't Lie: an interactive visualization of NBA statistics 🏀📊
Language:JavaScript0 3 20
hrb90/propaganda
Talks, blog posts, etc.
0 2 00
hrb90/checkmarks
The President's timeline is under attack! Are you a bad enough dude to save the President's timeline?
Language:Elm2 0
hrb90/data-structures
for practicing with data structures
Language:Ruby2 0
hrb90/Deutron
Language:Python
hrb90/documentation
Documentation for the PureScript language, compiler, and tools.
2 0
hrb90/elm-nonempty-list
head and tail without the Maybe
Language:Elm
hrb90/fundamentals
For myself, to mess around with things I find interesting.
Language:OCaml2 0
hrb90/haskell-book
Language:Haskell2 0
hrb90/hrb90.github.io
Static sites
Language:CSS2 0
hrb90/hutton-purs
just a teensy parser for hutton's razor
Language:CSS2 0
hrb90/kripke-explorer
Modal Logic Playground
Language:JavaScript2 0
hrb90/minsweeper
Better Minesweeper, in your browser.
Language:JavaScript2 0
hrb90/pretty-practice
Language:Haskell
hrb90/purescript-chungpodo
Type level fun with Union and RowToList
Language:PureScript2 0
hrb90/purescript-css
A clean, type-safe library for describing, manipulating and rendering CSS
Language:PureScript
hrb90/purescript-dge
Language:JavaScript2 0
hrb90/purescript-glitter
quick interactive testing of parsers
Language:PureScript
hrb90/purescript-group
Algebraic groups for PureScript.
Language:PureScript2 0
hrb90/purescript-sparkle
Infer user interfaces from type signatures
Language:PureScript2 0
hrb90/purty
PureScript pretty-printer
Language:Haskell2 0
hrb90/stryker
The JavaScript mutation testing framework
Language:TypeScript2 0
hrb90/style-elements
Create styles that don't mysteriously break!
Language:Elm2 0
hrb90/therapy-worksheet
writing purescript to feel less sad
Language:PureScript