オーナー
alhassy
索引済みのリポジトリ 14 件 · GitHub で見る
-
emacs.d
My Emacs configuration, literately :smile:
Emacs Lisp · スター 402 個
-
ElispCheatSheet
Quick reference to the core language of Emacs ---Editor MACroS.
スター 247 個
-
org-special-block-extras
A number of new custom blocks and link types for Emacs' Org-mode ^_^
HTML · スター 236 個
-
JavaScriptCheatSheet
Quick reference to the tremendously accessible high-level language of the web ^_^
スター 221 個
-
CheatSheet
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
TeX · スター 184 個
-
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 個
-
CatsCheatSheet
This project is to contain a listing of common theorems in elementary category theory.
スター 76 個
-
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 個
-
HaskellCheatSheet
A reference sheet for the basics of the mind-expanding Haskell language ^_^
スター 40 個
-
holy-books
An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups
Emacs Lisp · スター 29 個
-
ob-latex-as-png
Inline arbitrary LaTeX snippets as PNGs in Emacs (•̀ᴗ•́)و
Emacs Lisp · スター 27 個
-
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp · スター 21 個
-
multistage-programming-taha
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
Haskell · スター 10 個
-
alhassy.github.io
My personal blog (•̀ᴗ•́)و
TeX · スター 7 個
-
alhassy/multistage-programming-taha#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/HaskellCheatSheet#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/ElispCheatSheet#4 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/ElispCheatSheet#5 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/CatsCheatSheet#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
Layman Link Broken オープン
alhassy/next-700-module-systems#43 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
alhassy/holy-books#10 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
alhassy/holy-books#11 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement help wanted
alhassy/holy-books#14 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
bug good first issue
alhassy/holy-books#18 · コメント 1 件 · リアクション 2 件 · 担当者 0 名 ·
-
alhassy/org-agda-mode#4 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/CheatSheet#1 · コメント 0 件 · リアクション 0 件 · 担当者 1 名 ·
-
alhassy/CheatSheet#2 · コメント 1 件 · リアクション 1 件 · 担当者 0 名 ·
-
alhassy/CheatSheet#5 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/CheatSheet#7 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/CheatSheet#8 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/ob-latex-as-png#2 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/ob-latex-as-png#3 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/repl-driven-development#5 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/repl-driven-development#10 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/JavaScriptCheatSheet#1 · コメント 0 件 · リアクション 1 件 · 担当者 1 名 ·
-
help wanted
alhassy/JavaScriptCheatSheet#2 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
help wanted
alhassy/JavaScriptCheatSheet#3 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
help wanted
alhassy/JavaScriptCheatSheet#5 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
Broken link オープン
-
bug help wanted
alhassy/org-special-block-extras#8 · コメント 10 件 · リアクション 0 件 · 担当者 1 名 ·
-
documentation good first issue
alhassy/org-special-block-extras#12 · コメント 5 件 · リアクション 3 件 · 担当者 0 名 ·
-
good first issue help wanted
alhassy/org-special-block-extras#16 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
bug documentation
alhassy/org-special-block-extras#23 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
enhancement good first issue
alhassy/org-special-block-extras#24 · コメント 2 件 · リアクション 0 件 · 担当者 0 名 ·
-
documentation
alhassy/org-special-block-extras#27 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
bug enhancement good first issue help wanted question
alhassy/org-special-block-extras#33 · コメント 6 件 · リアクション 0 件 · 担当者 0 名 ·
-
Add beamer support オープンenhancement good first issue help wanted
alhassy/org-special-block-extras#35 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 ·
-
documentation enhancement
alhassy/org-special-block-extras#42 · コメント 0 件 · リアクション 1 件 · 担当者 1 名 ·
-
question
alhassy/org-special-block-extras#43 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#44 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#45 · コメント 4 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#46 · コメント 2 件 · リアクション 1 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#47 · コメント 1 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#51 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
Typo in README.md オープン
alhassy/org-special-block-extras#52 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#53 · コメント 0 件 · リアクション 1 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#54 · コメント 3 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#55 · コメント 6 件 · リアクション 1 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#58 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/org-special-block-extras#59 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·
-
alhassy/alhassy.github.io#1 · コメント 0 件 · リアクション 0 件 · 担当者 0 名 ·