daoo Goto Github PK

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

chalmers

Styles for LaTeX, beamer for Chalmers University of Technology

conkygraph

Lua script for drawing graphs in conky using cairo.

const-math-ghc-plugin

GHC plugin for constant math elimination

core

:house_with_garden: Open source home automation that puts local control and privacy first.

daoo.github.io

dotfiles

My dotfiles.

dynamic-mvector

A wrapper around MVector that enables push/pop/append functionality.

formalization-of-mathematics

A formalization of the Toom-Cook algorithm for multiplying polynomials with Coq and SSReflect.

fractals

Fractal generation in Haskell

fretboarder

A utility for rendering images of chords and scales over the guitar neck.

grapher

Force directed graph drawing in Haskell.

haskell-src-exts

Fork of haskell-src-exts for development of the haskell suite.

include-graph

Program for creating include graphs for c and c++ projects.

libftdi

Fork of libftdi with Python 3 compilation fixes.

matstat

MatStat stuff

musictheory

Haskell library with some music theory related types and functions.

pathtracer

Global illumination raytracer written in rust.

polhemthegame

wpfsdata

FSData mailing-list management plugin.

wpga