Discover @alhassy Open Source projects

Musa Al-hassy (@alhassy)

alhassy

Stars
1,897
Global Rank 15,692 (Top 0.6 %)
Followers 236
Following 120
Registered about 7 years ago
Most used languages

Emacs Lisp
33.3 %

HTML
27.8 %

Agda 11.1 %

Java
5.6 %

Prolog
5.6 %

JavaScript
5.6 %

TeX
5.6 %

Haskell
5.6 %
Location 🇨🇦 Canada
Country Total Rank 551
Country Ranking

Agda 1

Prolog
2

Emacs Lisp
7

TeX
21

HTML
70

Haskell
83

JavaScript
3,649

Java
5,227

emacs.d

My Emacs configuration, literately 😄

ElispCheatSheet

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

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.

OCamlCheatSheet

Reference of basic commands to get comfortable with OCaml.

CatsCheatSheet

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

PrologCheatSheet

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

PythonCheatSheet

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

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 (•̀ᴗ•́)و

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

FSharpCheatSheet

Reference sheet of the basics of F# ^_^

OzCheatSheet

Basics of the Oz/Mozart language ^_^

org-agda-mode

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

ClojureCheatSheet

Quick reference to a modern Lisp :-)

CoqCheatSheet

Reference sheet for the Coq language.

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''

alhassy.github.io

My personal blog (•̀ᴗ•́)و

RustCheatSheet

Rust ≈ C + OCaml

RubyCheatSheet

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

AngularJSCheatSheet

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

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.

CalcCheck

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

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.

delta-hacks-ML-workshop

DeltaHacks 2020 Workshop on Supervised Machine Learning

VueCheatSheet

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

spacemacs

My Spacemacs Configuration ---Literately 😊