index
NameDescriptionOwnerIdle
mab/cvMy academic curriculum vitae Amin Bandali2 days
mab/dotfilesMy configuration for GNU Emacs and other pieces of software I useAmin Bandali2 days
mab/logical-verificationMy solutions for exercises and homeworks of Logical Verification 2018-2019Amin Bandali2 days
mab/siteMy personal siteAmin Bandali2 days
mab/znc.elMy fork of ZNC.el with some PRs appliedAmin Bandali5 months
uwaterloo
mab/alloy-catalystFork of alloy with my catalyst branch (for CS 846) Amin Bandali2 days
mab/ic3z3A Z3-based IC3 implementation (for ECE.750t29) Amin Bandali2 days
generated by cgit v1.2.1-18-gbd029 (git 2.20.0) at 2019-07-17 07:14:54 +0000