pat-rondon/AbstractRefinementTypes
Public repository.
Developer Profile
pat-rondon
Discovered public repositories for pat-rondon in the GitHub catalog.
pat-rondon/liquidhaskell
Liquid Types For Haskell
pat-rondon/Mondrian-Clock
A program for generating random Mondrian-style pictures. These pictures happen to depend on the time of day in a convoluted way; with some practice, it can be used as a fuzzy clock.
pat-rondon/webclock
Clock that displays time using images fetched from Google Image Search
pat-rondon/odb
Oasis-db downloader and installer
pat-rondon/homebrew
The missing package manager for OS X.
pat-rondon/tryocaml
An interactive tutorial to begin learning with OCaml
pat-rondon/color-scheme-compiler
A tool to produce color schemes for multiple editors (and other tools) from a single description.
pat-rondon/color-theme-distressed
Pleasant, low-contrast dark-on-white Emacs color theme
pat-rondon/color-theme-xoria256
Emacs port of Dmitriy Zotikov's xoria256 vim theme
pat-rondon/aya
Move the contents of the current directory tree to another machine and run a command there
pat-rondon/color-theme-froufrou
Public repository.
pat-rondon/wepub
Convert a set of Wikipedia pages to an EPUB eBook
pat-rondon/configs
Dotfiles