Open Source Projects

I have 27 projects on Github

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

140 5

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

59 1

Reference of basic commands to get comfortable with OCaml.

51 2

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

37 3

My Emacs configuration, literately :smile:

25 3

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

22 1

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

11 2

Reference sheet for the Coq language.

9 0

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

7 0

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

3 1

Learning C program proving using Emacs --reminiscent of Coq proving with Proof General.

3 0

Reference sheet for definitions and results in elementary Lattice Theory; and other articles on Order Theory.

2 0

Notes & implementations of the code within Jeremy Gibbons' ``Design Patterns as Higher-Order Datatype-Generic Programs''; notably focus on multibranching trees and their BDS.

2 0

Programs written while learning and discovering :-)

0 0

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

0 0

All the Git-it Workshop completers!

0 0

I won first place with this poster for McMaster's CAS Poster Competition ^_^

0 0

Notes about stuff I'm learning regarding islam :-)

0 0

A quick cheat sheet for common terms in Goju Ryu Karate ---the hard-soft style of karate.

0 0

Reference of basic commands to get comfortable with Git at the command line, and magit.

0 0

Lecture material for DeepSpec Summer School 2018

0 0

A LaTeX resume template, tailored for the recent graduate who aspires to be a Data Scientist/Engineer.

0 0

Basics of the tremendously ubiquitous C language that permeates most of computing!

0 0

Org-mode powered Jekyll blog! -- C.f.

0 0

The Agda standard library

0 0

A new Categories library

0 0

Agda is a dependently typed programming language / interactive theorem prover.

0 0