Skip to content
View 780nm's full-sized avatar
3 followers · 2 following

Block or report 780nm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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