git.shemshak.org
shemshak.org git repositories
index
Name
Description
Owner
Idle
amin/cv
My academic curriculum vitae
Amin Bandali
5 months
amin/dotfiles
My configuration for GNU Emacs and other pieces of software I use
Amin Bandali
8 days
amin/george-mode
Emacs major mode for editing George files
Amin Bandali
3 months
amin/logical-verification
My solutions for exercises and homeworks of Logical Verification 2018-2019
Amin Bandali
5 months
amin/site
My personal site
Amin Bandali
5 days
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
5 months
amin/ic3z3
A Z3-based IC3 implementation (for ECE.750t29)
Amin Bandali
5 months