X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/blobdiff_plain/faa724fc144f3bfb66e141741afa028779c88468..9b0e83daebf9e9ecda0f071bf51a9317f6d6384e:/index.m4 diff --git a/index.m4 b/index.m4 index 9fdad21..ad3d902 100644 --- a/index.m4 +++ b/index.m4 @@ -2,7 +2,8 @@ dnl -*- html -*- define(__title, `Amin Bandali''`s Personal Site')dnl define(__slug, `home')dnl define(__nts)dnl -include(header.html) +include(header.html)dnl +

Hi, I'm Amin. I am currently a graduate student at the Waterloo Formal Methods @@ -83,12 +84,15 @@ York University, Toronto, Canada, August 15, 2017">poster

Projects

-

Below are a number of free software projects I have worked on:

+

Here are some of my recent free software projects:

-
george-mode
+
refinery-theme
+
A refined, minimalist, layered colour theme for GNU Emacs
+ +
george-mode
Emacs major mode for editing George files
-
alloy-catalyst
+
alloy-catalyst
Framework for performance analysis of Alloy models
unitb-web
@@ -125,5 +129,6 @@ and
+ define(__copy, `2016–2019')dnl -include(footer.html) +include(footer.html)dnl