Pinned Repositories
mumei
A game designed to teach players introductory programming in a fun, game-based environment.
asus-ec-sensors
Linux EC sensor driver for Asus X570 motherboards
bar
bar ain't recursive: A lightweight xcb based bar. This is a fork that supports fontconfig, borders w/ color, and transparent text.
GLX
Haskell bindings for GLX
hubstats
A statistics viewer for GitHub repositories
linux-vega10
Linux + AMD RX Vega hacks
sketchrec
A human sketch recognition algorithm based on Eitz et al., "How Do Humans Sketch Objects?"
unixbar
unixbar is a Unix-philosophical status bar driver.
MPD
Music Player Daemon
X11
A Haskell binding to the X11 graphics library.
anthonyde's Repositories
anthonyde/sketchrec
A human sketch recognition algorithm based on Eitz et al., "How Do Humans Sketch Objects?"
anthonyde/asus-ec-sensors
Linux EC sensor driver for Asus X570 motherboards
anthonyde/bar
bar ain't recursive: A lightweight xcb based bar. This is a fork that supports fontconfig, borders w/ color, and transparent text.
anthonyde/GLX
Haskell bindings for GLX
anthonyde/hubstats
A statistics viewer for GitHub repositories
anthonyde/linux-vega10
Linux + AMD RX Vega hacks
anthonyde/unixbar
unixbar is a Unix-philosophical status bar driver.
anthonyde/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
anthonyde/MPD
Music Player Daemon
anthonyde/X11
A Haskell binding to the X11 graphics library.
anthonyde/X11-visualinfo
Haskell bindings for the Xlib VisualInfo functions
anthonyde/X11-xcomposite
Haskell bindings to the composite extension for X11