daoo

astcrt

ASTC encoder with real-time performance.

autodesk

Automatic standing desk positioning based on active session time.

dotfiles

My dotfiles.

brainfuck

Brainfuck stuff

fretboarder

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

a.vim

Alternate Files quickly (.c --> .h etc)

admasq

Adblocking with dnsmasq, inspired by https://github.com/pi-hole/pi-hole.

autosweep

Automatically plays minesweeper in C++.

formalization-of-mathematics

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

pathtracer

Global illumination raytracer written in rust.

polhemthegame

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

dynamic-mvector

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

fractals

Fractal generation in Haskell

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.

wpfsdata

FSData mailing-list management plugin.

wpga