Pinned Loading

1. configuration configuration Public

   My home and system configuration

   Nushell 7 1

2. combinatory-logic combinatory-logic Public

   Explorations in combinatory logic with Agda

   Agda 2

3. Sheaves-in-Topology-lecture-notes Sheaves-in-Topology-lecture-notes Public

   Forked from mmasque/Sheaves-in-Topology-lecture-notes

   TeX

4. splintersuidman.github.io splintersuidman.github.io Public

   Personal website

   JavaScript