index
NameDescriptionOwnerIdle
amin/aminb.orgSource code of my personal site/blogAmin Bandali7 weeks
amin/cvMy academic CVAmin Bandali4 months
amin/dotfilesMy literate configuration for GNU Emacs and other pieces of software I useAmin Bandali48 hours
amin/logical-verificationMy solutions for exercises and homeworks of Logical Verification 2018-2019Amin Bandali3 months
amin/znc.elMy fork of ZNC.el with some PRs appliedAmin Bandali8 weeks
uwaterloo
amin/alloy-catalystFork of alloy with my catalyst branch (for CS 846)Amin Bandali7 weeks
amin/ic3z3A Z3-based IC3 implementation (for ECE.750t29)Amin Bandali4 months