Musa Al-hassy

icon indicating a website link http://alhassy.github.io icon indicating an email [email protected]

icon location Canada icon location Engineering Manager & JS Team Lead ;; Programming language enthusiast ;; Emacs & Org-mode Promoter ;; Computing Science PhD ;; Previously a Sessional Lecturer

Results 21 repositories owned by Musa Al-hassy

AgdaCheatSheet

37
Stars
1
Forks
Watchers

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

verified publisher icon alhassy

ClojureCheatSheet

15
Stars
0
Forks
Watchers

Quick reference to a modern Lisp :-)

verified publisher icon alhassy

CoqCheatSheet

15
Stars
1
Forks
Watchers

Reference sheet for the Coq language.

verified publisher icon alhassy

FSharpCheatSheet

21
Stars
3
Forks
Watchers

Reference sheet of the basics of F# ^_^

verified publisher icon alhassy

HaskellCheatSheet

27
Stars
1
Forks
Watchers

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

verified publisher icon alhassy

holy-books

23
Stars
5
Forks
Watchers

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

verified publisher icon alhassy

ob-latex-as-png

28
Stars
2
Forks
Watchers

Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و

verified publisher icon alhassy

org-agda-mode

16
Stars
7
Forks
Watchers

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

verified publisher icon alhassy

OzCheatSheet

17
Stars
2
Forks
Watchers

Basics of the Oz/Mozart language ^_^

verified publisher icon alhassy

PythonCheatSheet

45
Stars
8
Forks
Watchers

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

verified publisher icon alhassy