Musa Al-hassy's Projects
The ACM (small) in Org-Mode, just type make.
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library
Basics of the dependently-typed functional language Agda ^_^
My personal blog (•̀ᴗ•́)و
A reference for the accessible JS framework that gives HTML: {{Variables}}, Conditionals, Loops, etc!
👶 Technical concepts explained in layman terms! git.io/eli5
Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck
This project is to contain a listing of common theorems in elementary category theory.
Basics of the tremendously ubiquitous C language that permeates most of computing!
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
Quick reference to a modern Lisp :-)
Reference sheet for the Coq language.
A LaTeX resume template, tailored for the recent graduate who aspires to be a Data Scientist/Engineer.
DeltaHacks 2020 Workshop on Supervised Machine Learning
Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.
Lecture material for DeepSpec Summer School 2018
Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!
Emacs Go Game(SGF) Editor
Quick reference to the core language of Emacs ---Editor MACroS.
Mirror of GNU Emacs
My Emacs configuration, literately :smile:
Reference sheet of the basics of F# ^_^
The long lost Emacs graph manipulation library.
A slow-paced introduction to reflection in Agda. ---Tactics!
Reference of basic commands to get comfortable with Git at the command line, and magit.
A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.
A reference sheet for the basics of the mind-expanding Haskell language ^_^
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups