greg
/
greg.everydayimshuflin.com
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add code repos + Koka contribution

This commit is contained in:
Greg Shuflin 2021-09-23 02:42:39 -07:00
parent 49c5d746da
commit 82da355a9e
1 changed files with 17 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
index.html
View File

@ -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