I am a learner of computing science and a language enthusist with a passion for abstract mathematics and correct-by-construction programming. I am always excited to discuss anything related to category theory or programming languages. Feel free to contact me :-)


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