git.shemshak.org

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