Musa Al-hassy (@alhassy)
github

alhassy

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

emacs.d

My Emacs configuration, literately ๐Ÿ˜„
Emacs Lisp
384
star
2

ElispCheatSheet

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

JavaScriptCheatSheet

Quick reference to the tremendously accessible high-level language of the web ^_^
207
star
4

org-special-block-extras

A number of new custom blocks and link types for Emacs' Org-mode ^_^
HTML
182
star
5

CheatSheet

Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
TeX
160
star
6

gentle-intro-to-reflection

A slow-paced introduction to reflection in Agda. ---Tactics!
Agda
85
star
7

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.
HTML
80
star
8

OCamlCheatSheet

Reference of basic commands to get comfortable with OCaml.
77
star
9

CatsCheatSheet

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

PrologCheatSheet

Basics of relational programming with Prolog โ€”PROgramming in LOGic ^_^
Prolog
64
star
11

PythonCheatSheet

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

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!
Emacs Lisp
44
star
13

AgdaCheatSheet

Basics of the dependently-typed functional language Agda ^_^
Agda
37
star
14

ob-latex-as-png

Inline arbitrary LaTeX snippets as PNGs in Emacs (โ€ขฬ€แด—โ€ขฬ)ูˆ
Emacs Lisp
28
star
15

HaskellCheatSheet

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

holy-books

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

FSharpCheatSheet

Reference sheet of the basics of F# ^_^
21
star
18

OzCheatSheet

Basics of the Oz/Mozart language ^_^
17
star
19

org-agda-mode

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

ClojureCheatSheet

Quick reference to a modern Lisp :-)
15
star
21

CoqCheatSheet

Reference sheet for the Coq language.
15
star
22

easy-extensibility

Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
JavaScript
14
star
23

lf

A Language Features library for Emacs Lisp
Emacs Lisp
12
star
24

multistage-programming-taha

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Haskell
10
star
25

alhassy.github.io

My personal blog (โ€ขฬ€แด—โ€ขฬ)ูˆ
HTML
7
star
26

RustCheatSheet

Rust โ‰ˆ C + OCaml
6
star
27

RubyCheatSheet

Reference of basic commands to get comfortable with Ruby ---Pure OOP!
HTML
6
star
28

AngularJSCheatSheet

A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
6
star
29

CCheatSheet

Basics of the tremendously ubiquitous C language that permeates most of computing!
3
star
30

interactive-way-to-c

Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.
3
star
31

CalcCheck

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

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.
Java
2
star
33

delta-hacks-ML-workshop

DeltaHacks 2020 Workshop on Supervised Machine Learning
HTML
1
star
34

VueCheatSheet

A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
1
star
35

spacemacs

My Spacemacs Configuration ---Literately ๐Ÿ˜Š
1
star