index
NameDescriptionOwnerIdle
amin/cvMy academic curriculum vitae Amin Bandali2 months
amin/dotfilesMy configuration for GNU Emacs and other pieces of software I useAmin Bandali17 hours
amin/george-modeEmacs major mode for editing George files Amin Bandali3 days
amin/logical-verificationMy solutions for exercises and homeworks of Logical Verification 2018-2019Amin Bandali2 months
amin/siteMy personal siteAmin Bandali26 hours
amin/znc.elMy fork of ZNC.el with some PRs appliedAmin Bandali2 weeks
uwaterloo
amin/alloy-catalystFork of alloy with my catalyst branch (for CS 846) Amin Bandali2 months
amin/ic3z3A Z3-based IC3 implementation (for ECE.750t29) Amin Bandali2 months