Popular repositories Loading

1. emacs.d emacs.d Public

   My Emacs configuration, literately 😄

   Emacs Lisp 402 17

2. ElispCheatSheet ElispCheatSheet Public

   Quick reference to the core language of Emacs ---Editor MACroS.

   246 18

3. org-special-block-extras org-special-block-extras Public

   A number of new custom blocks and link types for Emacs' Org-mode ^_^

   HTML 233 17

4. JavaScriptCheatSheet JavaScriptCheatSheet Public

   Quick reference to the tremendously accessible high-level language of the web ^_^

   220 22

5. CheatSheet CheatSheet Public

   Pretty cheat sheets, or ``reference cards'', obtainable from Org files.

   TeX 184 10

6. gentle-intro-to-reflection gentle-intro-to-reflection Public

   A slow-paced introduction to reflection in Agda. ---Tactics!

   Agda 104 9