cvMy academic curriculum vitae 3 monthssummarylogtree
dotfilesMy configuration for GNU Emacs and other programs 8 dayssummarylogtree
george-modeGNU Emacs major mode for editing George files 7 monthssummarylogtree
logical-verificationMy solutions to exercises and homeworks of Logical Verification 2018-2019 9 monthssummarylogtree
siteSources for my personal site ( 11 dayssummarylogtree
znc.elMy fork of ZNC.el with some PRs applied7 monthssummarylogtree
alloy-catalystAlloy fork with my catalyst branch (for CS 846) 9 monthssummarylogtree
ic3z3Z3-based IC3 implementation (for ECE.750t29) 9 monthssummarylogtree