alhassy
Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer
Canada
Pinned Repositories
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
ElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.
emacs.d
My Emacs configuration, literately :smile:
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
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.
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
PrologCheatSheet
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
alhassy's Repositories
alhassy/emacs.d
My Emacs configuration, literately :smile:
alhassy/JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
alhassy/org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
alhassy/CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
alhassy/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.
alhassy/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!
alhassy/AgdaCheatSheet
Basics of the dependently-typed functional language Agda ^_^
alhassy/holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
alhassy/ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
alhassy/org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
alhassy/easy-extensibility
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
alhassy/lf
A Language Features library for Emacs Lisp
alhassy/alhassy.github.io
My personal blog (•̀ᴗ•́)و
alhassy/RubyCheatSheet
Reference of basic commands to get comfortable with Ruby ---Pure OOP!
alhassy/RustCheatSheet
Rust ≈ C + OCaml
alhassy/islam
Notes about stuff I'm learning regarding islam :-)
alhassy/VueCheatSheet
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
alhassy/del
alhassy/emacs
Mirror of GNU Emacs
alhassy/g.el
The long lost Emacs graph manipulation library.
alhassy/GojuRyuCheatSheet
A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.
alhassy/jsdoc.el
alhassy/learning
Some fun with AngularJS $http, REST APIs, and way-too much inline CSS
alhassy/melpa
Recipes and build machinery for the biggest Emacs package repo
alhassy/org-static-blog
A static site generator using org-mode
alhassy/ox-jira.el
Org-mode export backend for JIRA markup
alhassy/skerrick
REPL-driven development for NodeJS
alhassy/test
alhassy/vscode-juvix
Juvix IDE support for VSCode