Pat Rondon's repositories
color-theme-xoria256
Emacs port of Dmitriy Zotikov's xoria256 vim theme
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
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.
bisect_ppx
Code coverage for OCaml and ReScript
liquidhaskell
Liquid Types For Haskell
Language:HaskellNOASSERTION000
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
Language:RacketMIT000
threadbare-ring
Two-nuts-on-bolt ring design.
Language:OpenSCAD000