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