index
NameDescriptionIdle
aminb.orgSource code of my personal site/blog6 weeks
cvMy academic CV7 weeks
dotfilesMy literate configuration for GNU Emacs and other pieces of software I use8 days
logical-verificationMy solutions for exercises and homeworks of Logical Verification 2018-20195 weeks
uwaterloo
alloy-catalystFork of alloy with my catalyst branch (for CS 846)5 hours
ic3z3A Z3-based IC3 implementation (for ECE.750t29)7 weeks