This is your work, valued
Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.
articles. Miscellaneous articles. The readme is the table of contents.
1.3kstgi. A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
534generative-art. I wanted to make a nicer sticker for Munihac, then things got out of hand.
152stackage-everything. »I want Stackage on an airplane and I have only 3 minutes until takeoff«
84acme-everything. Install everything.
21amoeba. Amœba is a distributed network.
18show-prettyprint. Robust prettyprinter for output of auto-generated Show instances
17cabal-install-bin. Install binary packages in a temporary Cabal sandbox
16hackage-graph. A graph of the interdependencies of the packages of hackage.haskell.org.
16unmaintainable_haskell. How to write unmaintainable Haskell code
12talks. A collection of the talks I’ve given in the past.
11stackalone. Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
10agda-learning. Stuff I’m writing to learn Agda.
9quchen.github.io. My online ID card.
7factorio. Shell
5pgp-wordlist. Translate between binary data and a human-readable collection of words.
5lambda-ski. A lambda and SKI calculus playground
5HaskellEuler. Project Euler using Haskell
5ErgoDox. Fire-and-forget build system for configuring my Infinity Ergodox
5shack. An experimental library for writing quick-and-dirty shell scripts using Haskell.
4binary-typed. Thin type-safe layer for the Haskell Binary library.
4geb-miu-puzzle. Visualize the GEB MIU puzzle using Haskell and GraphViz
4voron. G-code
4penrose. Generating penrose tilings with Haskell and Cairo
3wr21. TNG Winterretreat 2021
3client-server-example. Simple IO-heavy application for demonstration purposes
3workshop-2020-01-tum. Haskell
2frp-workshop. Files for a workshop on FRP, using the Reactive Banana library.
2acme-language-extensions. Library that checks whether certain Haskell language extensions are enabled. Use in production immediately.
2hpio. GPIO library for Haskell
2crypto-test. Basic cryptography APIs
2qa-playground. Full QA example in Haskell: Various testsuites, test coverage, benchmarks.
2rustfuck. A Brainfuck interpreter written in Rust.
1munihac-2018-beginner. JavaScript
1factorio-blueprints. View and modify blueprints from the »Factorio« computer game.
1vsafe. vsafe - Very Simple Asymmetric File Exchange
1generustive. Implementing parts of my generative-art project using Rust as a learning project.
1hscheme. Scheme (R5RS) interpreter in Haskell
1