quchen

articles

Miscellaneous articles. The readme is the table of contents.

stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

prettyprinter

A modern, extensible and well-documented prettyprinter.

generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.

show-prettyprint

Robust prettyprinter for output of auto-generated Show instances

hackage-graph

A graph of the interdependencies of the packages of hackage.haskell.org.

talks

A collection of the talks I’ve given in the past.

agda-learning

Stuff I’m writing to learn Agda.

pgp-wordlist

Translate between binary data and a human-readable collection of words.

lambda-ski

A lambda and SKI calculus playground

voron

wr21

TNG Winterretreat 2021

workshop-2020-01-tum

factorio

generustive

Implementing parts of my generative-art project using Rust as a learning project.

vsafe

vsafe - Very Simple Asymmetric File Exchange

cheats.rs

Rust Language Cheat Sheet - https://cheats.rs

corona

dotfiles

group-randomizer

gtk2hs

GUI library for Haskell based on GTK+

haskeline

A Haskell library for line input in command-line programs.

icosahedron

LED icosahedron

master_thesis

Physics master thesis

mpcnc-config

Configuration of my CNC machine

tanzstab

tasty

Modern and extensible testing framework for Haskell

VoronUsers

Voron Community mods, slicer profiles and firmware configurations.

vscode-addons

This is a collection of little functions I use in VSCode. I have no intention publishing them.

worldcubeassociation.org

All of the code that runs on worldcubeassociation.org