Popular repositories

1. blog Public

   a blog i'm too lazy to actually render so all you're getting is a bunch of org files

   2

2. aoc2022 Public

   1

3. cubical-1lab Public

   Forked from plt-amy/1lab

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

   Agda

4. elisp-oauth-2 Public

   Forked from louixs/elisp-oauth-2

   Simpler oauth2 for elisp

   Emacs Lisp

5. org-fit-hs Public

   Forked from pbrisbin/google-oauth2

   Google Fit data API to org mode data

   Haskell

6. org-fit Public

   Companion to org-fit-hs, automatically retrieves data from the Google Fit API

   Emacs Lisp