git.shemshak.org

Name	Description	Owner	Idle
amin/cv	My academic curriculum vitae	Amin Bandali	6 weeks
amin/dotfiles	My configuration for GNU Emacs and other pieces of software I use	Amin Bandali	6 hours
amin/logical-verification	My solutions for exercises and homeworks of Logical Verification 2018-2019	Amin Bandali	6 weeks
amin/site	My personal site	Amin Bandali	4 weeks
amin/znc.el	My fork of ZNC.el with some PRs applied	Amin Bandali	6 months
uwaterloo
amin/alloy-catalyst	Fork of alloy with my catalyst branch (for CS 846)	Amin Bandali	6 weeks
amin/ic3z3	A Z3-based IC3 implementation (for ECE.750t29)	Amin Bandali	6 weeks