Add Maypop and rename 'Blog Author' to 'Technical Writer'

This commit is contained in:
Danila Fedorin 2021-06-20 18:37:54 -07:00
parent 22a72ccfea
commit abb11690e7

View File

@ -68,6 +68,14 @@
</a> &mdash;
Compiler for a purely functional, lazily evaluated language explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
</div>
<div class="project-container">
<a class="project-link" href="https://github.com/DanilaFe/maypop">
<h2>maypop</h2>
<i data-feather="link" class="project-link-icon"></i>
</a> &mdash;
Instructional implementation of a dependently typed functional programming language capable of formal proofs.
</div>
<!--
<div class="project-container">
<a class="project-link" href="https://github.com/DanilaFe/chalk">
<h2>chalk</h2>
@ -75,6 +83,7 @@
</a> &mdash;
Compiler from a small imperative language into CHIP-8 bytecode.
</div>
-->
<div class="project-container">
<a class="project-link" href="https://github.com/DanilaFe/pegasus">
<h2>pegasus</h2>
@ -131,7 +140,7 @@
<div class="section-content">
<div class="position">
<h2>Blog Author</h2>
<h2>Technical Writer</h2>
<div class="position-location">Independent | Spring 2015 - Present</div>
<ul>
<li>Designed and published website currently live at <a href="https://danilafe.com">danilafe.com</a>.</li>