zfnmxt

handout

All handouts will be here

pltc

Unofficial website

modern-unix

A collection of modern/faster/saner alternatives to common unix commands.

blog_os

Writing an OS in Rust

pareas

GPU-accelerated compiler

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

digga

A flake utility library to craft shell-, home-, and hosts- environments.

module-theory

dpp-e2021-pub

Data Parallel Programming

superhighway84

USENET-inspired, uncensorable, decentralized internet discussion system running on IPFS & OrbitDB

gpu-passthrough-tutorial

qoi

The “Quite OK Image Format” for fast, lossless image compression

aoc2021

Advent of Code 2021 - Solved on a NES

AdventOfCode2021FSharp

Solutions for Advent of Code 2021 in F#

adventofcode_2021

Advent of Code, 2021

lazygit

simple terminal UI for git commands

Big-Ass-Data-Broker-Opt-Out-List

CHAD

bash-it

A community Bash framework.

how-to-exploit-a-double-free

How to exploit a double free vulnerability in 2021. Use After Free for Dummies

cookbook

A collection of useful tips/tricks/hints for Isabelle users.

pltc-infoscreen

Slides for the PLTC infoscreen

langjam

caddie

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

workgroups.el

workgroups for windows -- sexy window management for emacs

nix-index

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

nix-ld

Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]

thinking-with-types

📖 source material for Thinking with Types

filepizza

:pizza: Peer-to-peer file transfers in your browser