diff --git a/index.html b/index.html index af8cd3c..4147165 100644 --- a/index.html +++ b/index.html @@ -15,6 +15,14 @@ or LinkedIn.
Download a copy of my resume. + +
See open-source code I've written: +
I recently contributed a basic Vim plugin + for the Koka language, an research programming language experimenting with the very + neat idea of algebraic effect systems. +
I wrote a simple Rust command line program for for highlighting stderr console output, 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 crates.io. +
My professional Github profile is @gshuflin. I have - used @neunenak as a personal Github profile in the past, - and am in the process of moving my personal code to a self-hosted Gitea - instance. + used @neunenak 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 Gitea instance at gitea.everydayimshuflin.com, to + reduce my dependency on cloud services I have no control over.
A few side projects I've worked on