A small kvm-based virtual machine monitor

PhD course on Functional Programming and Climate Impact Research

A special-purpose processor for pure, non-strict functional languages

GHC plugin to add eventlog tracing for foreign function calls

A minimal GPU design in Verilog to learn how GPUs work from the ground up

High-quality PNGs for logos I made for fun

The production-scale datacenter profiler (C/C++, Go, Rust, Python, Java, NodeJS, .NET, PHP, Ruby, Perl, ...)

Pixel IMS: Rootless replacement for Tensor Pixel VoLTE patch

Haskell papers optimized for my e-reader.

Anime Girls Holding Programming Books

[MIRROR] 🦈🏳️‍⚧️🏳️‍🌈 Gay sharks at your local terminal - lolcat-like CLI tool

Formalization of DBSP

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

A gently curated list of companies using Haskell in industry

Terminal-based presentations using Pandoc

Fast equality saturation in Haskell

GHC Whole Program Compiler and External STG IR tooling

The Haskell Optimization Handbook

History of type theory (Chinese).

Sioyek is a PDF viewer with a focus on textbooks and research papers

The shanty emacs theme is meant for us, you and me - the workers - who may not get dirty hands very often but love to code and tinker while looking at a screen full of pleasant colors.

A framework for distributed systems verification, with fault injection

Embedded specification language & model checker in Haskell

A {Windows, macOS, Linux} client recreating the functionality of the Sony Headphones app

examples for Haskell-Z libraries

“Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。

Books on programming language theory and linguistics in general.

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.