This is your work, valued

Germany

David Luposchainsky

Elite
@quchen

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.3k

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

534

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

152

stackage-everything. »I want Stackage on an airplane and I have only 3 minutes until takeoff«

84

acme-everything. Install everything.

21

amoeba. Amœba is a distributed network.

18

show-prettyprint. Robust prettyprinter for output of auto-generated Show instances

17

cabal-install-bin. Install binary packages in a temporary Cabal sandbox

16

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

16

unmaintainable_haskell. How to write unmaintainable Haskell code

12

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

11

stackalone. Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed

10

agda-learning. Stuff I’m writing to learn Agda.

9

quchen.github.io. My online ID card.

7

factorio. Shell

5

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

5

lambda-ski. A lambda and SKI calculus playground

5

HaskellEuler. Project Euler using Haskell

5

ErgoDox. Fire-and-forget build system for configuring my Infinity Ergodox

5

shack. An experimental library for writing quick-and-dirty shell scripts using Haskell.

4

binary-typed. Thin type-safe layer for the Haskell Binary library.

4

geb-miu-puzzle. Visualize the GEB MIU puzzle using Haskell and GraphViz

4

voron. G-code

4

penrose. Generating penrose tilings with Haskell and Cairo

3

wr21. TNG Winterretreat 2021

3

client-server-example. Simple IO-heavy application for demonstration purposes

3

workshop-2020-01-tum. Haskell

2

frp-workshop. Files for a workshop on FRP, using the Reactive Banana library.

2

acme-language-extensions. Library that checks whether certain Haskell language extensions are enabled. Use in production immediately.

2

hpio. GPIO library for Haskell

2

crypto-test. Basic cryptography APIs

2

qa-playground. Full QA example in Haskell: Various testsuites, test coverage, benchmarks.

2

rustfuck. A Brainfuck interpreter written in Rust.

1

munihac-2018-beginner. JavaScript

1

factorio-blueprints. View and modify blueprints from the »Factorio« computer game.

1

vsafe. vsafe - Very Simple Asymmetric File Exchange

1

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

1

hscheme. Scheme (R5RS) interpreter in Haskell

1