Popular repositories Loading

1. xmonad-setup xmonad-setup Public

   Forked from EricGebhart/xmonad-setup

   my setup files for xmonad

   Haskell 1

2. yoneda-in-tongues yoneda-in-tongues Public

   Forked from tetrapharmakon/yoneda-in-tongues

   Yoneda lemma in every known language

   TeX

3. optics-resources optics-resources Public

   Forked from cohomolo-gy/optics-resources

   Resources for the aspiring optician

4. dpl0a.github.io dpl0a.github.io Public

   HTML 1

5. moirai moirai Public

   Forked from tetrapharmakon/moirai

   TeX

6. tallcat-fp-2021 tallcat-fp-2021 Public

   Idris 1