Musa Al-hassy alhassy

Popular repositories

1. emacs.d

   My Emacs configuration, literately 😄

   Emacs Lisp 186 10

2. ElispCheatSheet

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

   169 9

3. CheatSheet

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

   TeX 90 5

4. OCamlCheatSheet

   Reference of basic commands to get comfortable with OCaml.

   62 3

5. next-700-module-systems

   PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

   TeX 56 3

6. CatsCheatSheet

   This project is to contain a listing of common theorems in elementary category theory.

   48 3