Musa Al-hassy's repositories
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
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.
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!
AgdaCheatSheet
Basics of the dependently-typed functional language Agda ^_^
ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
easy-extensibility
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
alhassy.github.io
My personal blog (•̀ᴗ•́)و
RubyCheatSheet
Reference of basic commands to get comfortable with Ruby ---Pure OOP!
RustCheatSheet
Rust ≈ C + OCaml
VueCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
GojuRyuCheatSheet
A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.
learning
Some fun with AngularJS $http, REST APIs, and way-too much inline CSS
org-static-blog
A static site generator using org-mode
ox-jira.el
Org-mode export backend for JIRA markup
vscode-juvix
Juvix IDE support for VSCode