11 open source projects by alhassy

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

Quick reference to the tremendously accessible high-level language of the web ^_^

Pretty cheat sheets, or ``reference cards'', obtainable from Org files.

My Emacs configuration, literately 😄

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

A slow-paced introduction to reflection in Agda. ---Tactics!

An Emacs interface to the Quran and the Bible: Org-mode links, tooltips, and Lisp look-ups

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

Reference sheet for the Coq language.

Reference sheet of the basics of F# ^_^

A Language Features library for Emacs Lisp