Musa Al-hassy

emacs.d. My Emacs configuration, literately :smile:

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

org-special-block-extras. A number of new custom blocks and link types for Emacs' Org-mode ^_^

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

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

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

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.

OCamlCheatSheet. Reference of basic commands to get comfortable with OCaml.

PrologCheatSheet. Basics of relational programming with Prolog —PROgramming in LOGic ^_^

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

repl-driven-development. Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs!

PythonCheatSheet. Quick reference to a tremendously accessible high-level language ---executable pseudocode!

AgdaCheatSheet. Basics of the dependently-typed functional language Agda ^_^

HaskellCheatSheet. A reference sheet for the basics of the mind-expanding Haskell language ^_^

holy-books. An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups

ob-latex-as-png. Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و

FSharpCheatSheet. Reference sheet of the basics of F# ^_^

org-agda-mode. An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

OzCheatSheet. Basics of the Oz/Mozart language ^_^

CoqCheatSheet. Reference sheet for the Coq language.

ClojureCheatSheet. Quick reference to a modern Lisp :-)

easy-extensibility. Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!

lf. A Language Features library for Emacs Lisp

multistage-programming-taha. A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

RubyCheatSheet. Reference of basic commands to get comfortable with Ruby ---Pure OOP!

alhassy.github.io. My personal blog (•̀ᴗ•́)و

RustCheatSheet. Rust ≈ C + OCaml

AngularJSCheatSheet. A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!

CalcCheck. Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck

CCheatSheet. Basics of the tremendously ubiquitous C language that permeates most of computing!

interactive-way-to-c. Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.

design-patterns-higher-order. Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.

VueCheatSheet. A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!

islam. Notes about stuff I'm learning regarding islam :-)

delta-hacks-ML-workshop. DeltaHacks 2020 Workshop on Supervised Machine Learning

agda. Agda is a dependently typed programming language / interactive theorem prover.

spacemacs. My Spacemacs Configuration ---Literately 😊

RandomProgramming. Programs written while learning and discovering :-)

GitCheatSheet. Reference of basic commands to get comfortable with Git at the command line, and magit.