Pinned Repositories
a.vim
Alternate Files quickly (.c --> .h etc)
admasq
Adblocking with dnsmasq, inspired by https://github.com/pi-hole/pi-hole.
astcrt
ASTC encoder with real-time performance.
autodesk
Automatic standing desk positioning based on active session time.
autosweep
Automatically plays minesweeper in C++.
brainfuck
Brainfuck stuff
dotfiles
My dotfiles.
fretboarder
A utility for rendering images of chords and scales over the guitar neck.
pathtracer
Global illumination raytracer written in rust.
polhemthegame
daoo's Repositories
daoo/astcrt
ASTC encoder with real-time performance.
daoo/autodesk
Automatic standing desk positioning based on active session time.
daoo/dotfiles
My dotfiles.
daoo/brainfuck
Brainfuck stuff
daoo/fretboarder
A utility for rendering images of chords and scales over the guitar neck.
daoo/a.vim
Alternate Files quickly (.c --> .h etc)
daoo/admasq
Adblocking with dnsmasq, inspired by https://github.com/pi-hole/pi-hole.
daoo/autosweep
Automatically plays minesweeper in C++.
daoo/formalization-of-mathematics
A formalization of the Toom-Cook algorithm for multiplying polynomials with Coq and SSReflect.
daoo/pathtracer
Global illumination raytracer written in rust.
daoo/polhemthegame
daoo/chalmers
Styles for LaTeX, beamer for Chalmers University of Technology
daoo/conkygraph
Lua script for drawing graphs in conky using cairo.
daoo/const-math-ghc-plugin
GHC plugin for constant math elimination
daoo/core
:house_with_garden: Open source home automation that puts local control and privacy first.
daoo/daoo.github.io
daoo/dynamic-mvector
A wrapper around MVector that enables push/pop/append functionality.
daoo/fractals
Fractal generation in Haskell
daoo/grapher
Force directed graph drawing in Haskell.
daoo/haskell-src-exts
Fork of haskell-src-exts for development of the haskell suite.
daoo/include-graph
Program for creating include graphs for c and c++ projects.
daoo/libftdi
Fork of libftdi with Python 3 compilation fixes.
daoo/matstat
MatStat stuff
daoo/musictheory
Haskell library with some music theory related types and functions.
daoo/wpfsdata
FSData mailing-list management plugin.
daoo/wpga