From 82da355a9e1874bb413946582106d0c643dc3671 Mon Sep 17 00:00:00 2001
From: Greg Shuflin <greg.shuflin@protonmail.com>
Date: Thu, 23 Sep 2021 02:42:39 -0700
Subject: [PATCH] Add code repos + Koka contribution

---
 index.html | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index af8cd3c..4147165 100644
--- a/index.html
+++ b/index.html
@@ -15,6 +15,14 @@
     or <a href='https://www.linkedin.com/in/gregshuflin/'>LinkedIn</a>.
 
     <p>Download a copy of <a href="./resume/Greg Shuflin resume.pdf">my resume</a>.
+
+    <p>See open-source code I've written:
+    <ul>
+        <li> <a href="https://github.com/gshuflin">@gshuflin</a> (professional),
+        <li> <a href="https://github.com/neunenak">@neunenak</a> (personal), and
+        <li> <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a> (self-hosted <a href="https://gitea.com/">Gitea</a> instance).
+    </ul>
+
     </div>
 
     <div id='selfPhoto'>
@@ -46,15 +54,21 @@
    on this project has involved porting the codebase from a legacy Python execution engine
    to a modern and more performant Rust execution engine.
 
+   <p>I recently contributed a basic <a href="https://github.com/koka-lang/koka/pull/193/commits/ab290a41a4249450d9934a4c23d2b8ed7e98b448">Vim plugin</a>
+   for the <a href="https://koka-lang.github.io/koka/doc/book.html">Koka</a> language, an research programming language experimenting with the very
+   neat idea of algebraic effect systems.
+
    <p>I wrote a simple Rust command line program for <a href="https://github.com/neunenak/hilite">
     for highlighting stderr console output</a>, inspired by Mike Schiraldi's hilite utility, which
     I used at Meraki for making the actual errors more obvious in lengthy C++ compiler output.  It
     is published on <a href="https://crates.io/crates/hilite">crates.io</a>.
 
+
    <p>My professional Github profile is <a href="https://github.com/gshuflin">@gshuflin</a>. I have
-   used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past,
-   and am in the process of moving my personal code to a <a href="https://gitea.everydayimshuflin.com/greg">self-hosted Gitea
-   instance</a>.
+   used <a href="https://github.com/neunenak">@neunenak</a> as a personal Github profile in the past, and still use it
+   for contributing to projects that use Github as their main git repository host. I've moved most of my personal code
+   to a self-hosted <a href="https://gitea.com">Gitea</a> instance at <a href="https://gitea.everydayimshuflin.com/greg">gitea.everydayimshuflin.com</a>, to
+   reduce my dependency on cloud services I have no control over.
 
    <h2>Some personal projects</h2>
    <p>A few side projects I've worked on