Pinned Loading

1. dotemacs dotemacs Public

   This is the emacs configuration files that I maintain for a long time.

   Emacs Lisp 2

2. hoas-hs hoas-hs Public

   hoas-hs: A Haskell Package for Many Theoretic Calculi, Taking Advantage of Higher-Order Abstract Syntax

   Haskell

3. Typst-Notations Typst-Notations Public

   My personal typst lib 4 note taking & presentation.

   Typst 2

4. rime-agda-input rime-agda-input Public

   Agda input recipe in Rime.

   Emacs Lisp 6

5. FICTION-Seminar-Slide-Template-Typst FICTION-Seminar-Slide-Template-Typst Public

   Typst 2 1

6. nix-config nix-config Public

   Nix