~bandali

Waterloo, Canada

https://aminb.org

Graduate student in the WatForm group at UWaterloo. Co-host of the Emacs.el podcast. Free Software and Copyleft advocate, and volunteer webmaster for the GNU project.

~bandali/dotfiles

My literate configuration for GNU Emacs and other pieces of software I use

~bandali/ic3z3

A Z3-based IC3 implementation

~bandali/aminb.org

Source code of my personal site/blog

~bandali/org.alloytools.alloy

My fork of alloy with my catalyst branch

~bandali/hugo-theme-divine

divine theme for Hugo