Quick reference to the core language of Emacs ---Editor MACroS.
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
Reference of basic commands to get comfortable with OCaml.
This project is to contain a listing of common theorems in elementary category theory.
My Emacs configuration, literately :smile:
A slow-paced introduction to reflection in Agda. ---Tactics!
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Reference sheet for the Coq language.
A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.
Reference sheet for definitions and results in elementary Lattice Theory; and other articles on Order Theory.
Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.
Programs written while learning and discovering :-)
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
All the Git-it Workshop completers!
I won first place with this poster for McMaster's CAS Poster Competition ^_^
Notes about stuff I'm learning regarding islam :-)
A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.
Reference of basic commands to get comfortable with Git at the command line, and magit.
Lecture material for DeepSpec Summer School 2018
A LaTeX resume template, tailored for the recent graduate who aspires to be a Data Scientist/Engineer.
Basics of the tremendously ubiquitous C language that permeates most of computing!
Org-mode powered Jekyll blog! -- C.f. AlBasmala.org
The Agda standard library
A new Categories library
Agda is a dependently typed programming language / interactive theorem prover.