Propriétaire
alhassy
14 dépôts indexés · Voir sur GitHub
-
emacs.d
My Emacs configuration, literately :smile:
Emacs Lisp · 402 étoiles
-
ElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.
247 étoiles
-
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
HTML · 236 étoiles
-
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
221 étoiles
-
CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
TeX · 184 étoiles
-
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 · 82 étoiles
-
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
76 étoiles
-
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 · 75 étoiles
-
HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
40 étoiles
-
holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
Emacs Lisp · 29 étoiles
-
ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
Emacs Lisp · 27 étoiles
-
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp · 21 étoiles
-
multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Haskell · 10 étoiles
-
alhassy.github.io
My personal blog (•̀ᴗ•́)و
TeX · 7 étoiles
-
alhassy/multistage-programming-taha#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/HaskellCheatSheet#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/ElispCheatSheet#4 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/ElispCheatSheet#5 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/CatsCheatSheet#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Layman Link Broken Ouverte
alhassy/next-700-module-systems#43 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement help wanted
alhassy/holy-books#10 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
enhancement help wanted
alhassy/holy-books#11 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Get Arabic Verses ---Quran Ouverteenhancement help wanted
alhassy/holy-books#14 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
bug good first issue
alhassy/holy-books#18 · 1 commentaire · 2 réactions · 0 personnes assignées ·
-
alhassy/org-agda-mode#4 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/CheatSheet#1 · 0 commentaires · 0 réactions · 1 personne assignée ·
-
alhassy/CheatSheet#2 · 1 commentaire · 1 réaction · 0 personnes assignées ·
-
alhassy/CheatSheet#5 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/CheatSheet#7 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/CheatSheet#8 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
alhassy/ob-latex-as-png#2 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/ob-latex-as-png#3 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
formatting of display output Ouverte
alhassy/repl-driven-development#5 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/repl-driven-development#10 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
Error about using var Ouverte
alhassy/JavaScriptCheatSheet#1 · 0 commentaires · 1 réaction · 1 personne assignée ·
-
help wanted
alhassy/JavaScriptCheatSheet#2 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
Missing function scope Ouvertehelp wanted
alhassy/JavaScriptCheatSheet#3 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
help wanted
alhassy/JavaScriptCheatSheet#5 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
Broken link Ouverte
alhassy/emacs.d#3 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
special blocks end lists Ouvertebug help wanted
alhassy/org-special-block-extras#8 · 10 commentaires · 0 réactions · 1 personne assignée ·
-
documentation good first issue
alhassy/org-special-block-extras#12 · 5 commentaires · 3 réactions · 0 personnes assignées ·
-
good first issue help wanted
alhassy/org-special-block-extras#16 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
bug documentation
alhassy/org-special-block-extras#23 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
Support LaTeX's `\blockcquote` Ouverteenhancement good first issue
alhassy/org-special-block-extras#24 · 2 commentaires · 0 réactions · 0 personnes assignées ·
-
documentation
alhassy/org-special-block-extras#27 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
bug enhancement good first issue help wanted question
alhassy/org-special-block-extras#33 · 6 commentaires · 0 réactions · 0 personnes assignées ·
-
Add beamer support Ouverteenhancement good first issue help wanted
alhassy/org-special-block-extras#35 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
documentation enhancement
alhassy/org-special-block-extras#42 · 0 commentaires · 1 réaction · 1 personne assignée ·
-
question
alhassy/org-special-block-extras#43 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#44 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#45 · 4 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#46 · 2 commentaires · 1 réaction · 0 personnes assignées ·
-
org-defblock not working Ouverte
alhassy/org-special-block-extras#47 · 1 commentaire · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#51 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
Typo in README.md Ouverte
alhassy/org-special-block-extras#52 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#53 · 0 commentaires · 1 réaction · 0 personnes assignées ·
-
alhassy/org-special-block-extras#54 · 3 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#55 · 6 commentaires · 1 réaction · 0 personnes assignées ·
-
How to use custom links? Ouverte
alhassy/org-special-block-extras#58 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/org-special-block-extras#59 · 0 commentaires · 0 réactions · 0 personnes assignées ·
-
alhassy/alhassy.github.io#1 · 0 commentaires · 0 réactions · 0 personnes assignées ·