git.shemshak.org

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