quchen

Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.

Germany

Pinned Repositories

acme-everything
Install everything.
Language:Haskell20 3 91
amoeba
Amœba is a distributed network.
Language:Haskell18 8 541
articles
Miscellaneous articles. The readme is the table of contents.
Language:Haskell1.3k 73 2893
generative-art
I wanted to make a nicer sticker for Munihac, then things got out of hand.
Language:Haskell152 6 497
prettyprinter
A modern, extensible and well-documented prettyprinter.
Language:Haskell304 9 15439
quchen.github.io
My online ID card.
7 2 01
show-prettyprint
Robust prettyprinter for output of auto-generated Show instances
Language:Haskell17 5 65
stackage-everything
»I want Stackage on an airplane and I have only 3 minutes until takeoff«
Language:Haskell84 8 33
stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Language:Haskell529 24 9525

quchen's Repositories

quchen/articles
Miscellaneous articles. The readme is the table of contents.
Language:Haskell1.3k 73 2893
quchen/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Language:Haskell529 24 9525
quchen/prettyprinter
A modern, extensible and well-documented prettyprinter.
Language:Haskell304 9 15439
quchen/generative-art
I wanted to make a nicer sticker for Munihac, then things got out of hand.
Language:Haskell152 6 497
quchen/show-prettyprint
Robust prettyprinter for output of auto-generated Show instances
Language:Haskell17 5 65
quchen/hackage-graph
A graph of the interdependencies of the packages of hackage.haskell.org.
Language:Haskell16 3 02
quchen/talks
A collection of the talks I’ve given in the past.
Language:JavaScript11 2 04
quchen/agda-learning
Stuff I’m writing to learn Agda.
Language:Agda9 2 0
quchen/pgp-wordlist
Translate between binary data and a human-readable collection of words.
Language:Haskell5 3 23
quchen/factorio
Language:Shell4 2 0
quchen/lambda-ski
A lambda and SKI calculus playground
Language:Haskell4 3 0
quchen/voron
Language:G-code4 3 01
quchen/wr21
TNG Winterretreat 2021
Language:C++3 4 0
quchen/workshop-2020-01-tum
Language:Haskell2 2 0
quchen/generustive
Implementing parts of my generative-art project using Rust as a learning project.
Language:Rust1 2 0
quchen/vsafe
vsafe - Very Simple Asymmetric File Exchange
Language:Shell1 2 0
quchen/cheats.rs
Rust Language Cheat Sheet - https://cheats.rs
Language:Rust1 0
quchen/corona
Language:Mathematica2 0
quchen/dotfiles
Language:Vim Script2 4
quchen/flib
A set of high-quality, commonly-used utilities for creating Factorio mods.
Language:Lua0 0
quchen/group-randomizer
Language:HTML2 0
quchen/gtk2hs
GUI library for Haskell based on GTK+
Language:Haskell1 0
quchen/haskeline
A Haskell library for line input in command-line programs.
Language:Haskell0 0
quchen/icosahedron
LED icosahedron
Language:C++2 0
quchen/mpcnc-config
Configuration of my CNC machine
Language:G-code2 0
quchen/tanzstab
Language:C++2 0
quchen/tasty
Modern and extensible testing framework for Haskell
quchen/VoronUsers
Voron Community mods, slicer profiles and firmware configurations.
Language:GAP1 0
quchen/vscode-addons
This is a collection of little functions I use in VSCode. I have no intention publishing them.
Language:TypeScript2 0
quchen/worldcubeassociation.org
All of the code that runs on worldcubeassociation.org
Language:Ruby1 0