Pinned Loading

1. 780nm.github.io 780nm.github.io Public

   Personal Website

   CSS

2. dep-erl dep-erl Public

   Some experiments in embedding a dependently typed DSL in Agda

   Agda

3. block block Public

   Site blocker for chromium browsers

   JavaScript

4. HaptiEditor HaptiEditor Public

   C543 2023W2 T2 Project

   C# 1

5. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Fork of https://github.com/qmk/qmk_firmware with custom keymappings for KBDFans KBD75 and a couple other minor tweaks

   C 1