Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, and post-processing software. Output is HTML/SVG per-CPU-core …

A hands-on approach to getting started with Go generics.

The pdfjam package for manipulating PDF files

Footnotes without the footprint.

A listing of compiler, language and runtime teams for people looking for jobs in this area

Git status for Bash and Zsh prompt

Good-lookin' diffs. Actually… nah… The best-lookin' diffs. 🎉

fastest text uwuifier in the west

an implementation of stuck macros

git commit --fixup, but automatic

Frame profiler

CODE_OF_CONDUCT.md generator

Sync papers from Zotero to a reMarkable tablet

A data visualization curriculum of interactive notebooks.

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

Compiler for the Mirth programming language.

A collection of old versions of the Haskell Report

Rust library for build scripts to compile C/C++ code into a Rust library

Watches over your Cargo project's source.

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

A "zooming" presentation editor

My personal repository of formally verified mathematics.

The engine for haskell ide-integration. Not an IDE

Compiler for the LM language

A compiler for functional programs on serialized data

History of Programming Languages, Spring 2017

A collaborative bibliography of work related to the theory and practice of computational effects

ScopeT and ScopeH

Miscellaneous articles. The readme is the table of contents.

The Z3 Theorem Prover