A collection of resources for learning type theory and type theory adjacent fields.

🎵 Lightweight, elegant music player for Android 9+.

Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

A fully compliant RISC-V computer made inside the game Terraria

A stack-based programming language with a lot of symmetry.

Collection of Vim themes with barely any colors

A categorical programming language with effects

qemu+nix for code evaluation

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

a structural diff that understands syntax 🟥🟩

Agda is a dependently typed programming language / interactive theorem prover.

Nix, the purely functional package manager

Advent of Code complete solution archive and common library

Advent of Code solutions in Haskell

a little autoharp for your phone and thumbs!

NixOS configuration

Nix Packages collection & NixOS

A bitmap programming font optimized for coziness 💜

A HTML processor inspired by jq

🔗 The fancy start screen for Vim.

🔑 stateless open source password manager

Master programming by recreating your favorite technologies from scratch.

A showcase of problems once hard or impossible to solve with CSS alone, now made trivially easy with Flexbox.

Neural style in TensorFlow! 🎨

Guide à l'arrache pour le Japon

Web server for Linux written in amd64 assembly.

A tiling window manager based on binary space partitioning