Daniel Oom's repositories
fretboarder
A utility for rendering images of chords and scales over the guitar neck.
autosweep
Automatically plays minesweeper in C++.
Language:C++BSD-3-Clause000
formalization-of-mathematics
A formalization of the Toom-Cook algorithm for multiplying polynomials with Coq and SSReflect.
pathtracer
Global illumination raytracer written in rust.
conkygraph
Lua script for drawing graphs in conky using cairo.
const-math-ghc-plugin
GHC plugin for constant math elimination
dynamic-mvector
A wrapper around MVector that enables push/pop/append functionality.
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.
musictheory
Haskell library with some music theory related types and functions.