Pinned Repositories
aya
Move the contents of the current directory tree to another machine and run a command there
color-scheme-compiler
A tool to produce color schemes for multiple editors (and other tools) from a single description.
color-theme-distressed
Pleasant, low-contrast dark-on-white Emacs color theme
color-theme-froufrou
color-theme-xoria256
Emacs port of Dmitriy Zotikov's xoria256 vim theme
configs
Dotfiles
homebrew
The missing package manager for OS X.
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.
odb
Oasis-db downloader and installer
tryocaml
An interactive tutorial to begin learning with OCaml
pat-rondon's Repositories
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-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-froufrou
pat-rondon/configs
Dotfiles
pat-rondon/homebrew
The missing package manager for OS X.
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/odb
Oasis-db downloader and installer
pat-rondon/tryocaml
An interactive tutorial to begin learning with OCaml
pat-rondon/webclock
Clock that displays time using images fetched from Google Image Search
pat-rondon/wepub
Convert a set of Wikipedia pages to an EPUB eBook
pat-rondon/AbstractRefinementTypes
pat-rondon/bisect_ppx
Code coverage for OCaml and ReScript
pat-rondon/liquidhaskell
Liquid Types For Haskell
pat-rondon/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
pat-rondon/threadbare-ring
Two-nuts-on-bolt ring design.