Owner
alhassy
已索引 14 个仓库 · 在 GitHub 查看
-
emacs.d
My Emacs configuration, literately :smile:
Emacs Lisp · 402 个 star
-
ElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.
247 个 star
-
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
HTML · 236 个 star
-
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
221 个 star
-
CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
TeX · 184 个 star
-
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 个 star
-
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
76 个 star
-
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 个 star
-
HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
40 个 star
-
holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
Emacs Lisp · 29 个 star
-
ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
Emacs Lisp · 27 个 star
-
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp · 21 个 star
-
multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Haskell · 10 个 star
-
alhassy.github.io
My personal blog (•̀ᴗ•́)و
TeX · 7 个 star
-
alhassy/multistage-programming-taha#1 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/HaskellCheatSheet#1 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/ElispCheatSheet#4 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/ElispCheatSheet#5 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/CatsCheatSheet#1 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/next-700-module-systems#43 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
alhassy/holy-books#10 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
alhassy/holy-books#11 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement help wanted
alhassy/holy-books#14 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
bug good first issue
alhassy/holy-books#18 · 1 条评论 · 2 个 reaction · 已指派 0 人 ·
-
alhassy/org-agda-mode#4 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/CheatSheet#1 · 0 条评论 · 0 个 reaction · 已指派 1 人 ·
-
alhassy/CheatSheet#2 · 1 条评论 · 1 个 reaction · 已指派 0 人 ·
-
alhassy/CheatSheet#5 · 3 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/CheatSheet#7 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/CheatSheet#8 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/ob-latex-as-png#2 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/ob-latex-as-png#3 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/repl-driven-development#5 · 4 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/repl-driven-development#10 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/JavaScriptCheatSheet#1 · 0 条评论 · 1 个 reaction · 已指派 1 人 ·
-
help wanted
alhassy/JavaScriptCheatSheet#2 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
help wanted
alhassy/JavaScriptCheatSheet#3 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
help wanted
alhassy/JavaScriptCheatSheet#5 · 2 条评论 · 0 个 reaction · 已指派 0 人 ·
-
Broken link 未关闭
-
bug help wanted
alhassy/org-special-block-extras#8 · 10 条评论 · 0 个 reaction · 已指派 1 人 ·
-
documentation good first issue
alhassy/org-special-block-extras#12 · 5 条评论 · 3 个 reaction · 已指派 0 人 ·
-
good first issue help wanted
alhassy/org-special-block-extras#16 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
bug documentation
alhassy/org-special-block-extras#23 · 4 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement good first issue
alhassy/org-special-block-extras#24 · 2 条评论 · 0 个 reaction · 已指派 0 人 ·
-
documentation
alhassy/org-special-block-extras#27 · 4 条评论 · 0 个 reaction · 已指派 0 人 ·
-
bug enhancement good first issue help wanted question
alhassy/org-special-block-extras#33 · 6 条评论 · 0 个 reaction · 已指派 0 人 ·
-
enhancement good first issue help wanted
alhassy/org-special-block-extras#35 · 3 条评论 · 0 个 reaction · 已指派 0 人 ·
-
documentation enhancement
alhassy/org-special-block-extras#42 · 0 条评论 · 1 个 reaction · 已指派 1 人 ·
-
question
alhassy/org-special-block-extras#43 · 4 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#44 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#45 · 4 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#46 · 2 条评论 · 1 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#47 · 1 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#51 · 0 条评论 · 1 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#52 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#53 · 0 条评论 · 1 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#54 · 3 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#55 · 6 条评论 · 1 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#58 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/org-special-block-extras#59 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·
-
alhassy/alhassy.github.io#1 · 0 条评论 · 0 个 reaction · 已指派 0 人 ·