hrb90 Goto Github PK

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

ddl

Data Don't Lie: an interactive visualization of NBA statistics 🏀📊

deutron

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.

haskell-book

hrb90.github.io

Static sites

hutton-purs

just a teensy parser for hutton's razor

kripke

Kripke semantics

kripke-explorer

Modal Logic Playground

minsweeper

Better Minesweeper, in your browser.

mjqga

pretty-practice

propaganda

Talks, blog posts, etc.

purescript-chungpodo

Type level fun with Union and RowToList

purescript-css

A clean, type-safe library for describing, manipulating and rendering CSS

purescript-dge

purescript-free-group

Free groups in Purescript

purescript-glitter

quick interactive testing of parsers

purescript-group

Algebraic groups for PureScript.

purescript-meaning-explanations

Meaning explanations, or, proof-carrying code is easy

purescript-sparkle

Infer user interfaces from type signatures

purty

PureScript pretty-printer

py-othello

Computer Othello

react-emoji

An emoji mixin for React

ruby-chess

Ruby chess

ruby-minesweeper

Ruby minesweeper in the command line

slabb

Live chat web app