DanilaFe/resume
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add languages to project descriptions

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-12-30 13:47:41 -08:00
parent a9bb1ac42f
commit b957438848
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
resume.html
View File

@ -52,7 +52,7 @@
<h2>agda-spa</h2> <h2>agda-spa</h2>
<i data-feather="link" class="project-link-icon"></i> <i data-feather="link" class="project-link-icon"></i>
</a> &mdash; </a> &mdash;
Framework for formally-verified lattice-based program analysis in Agda, explained in-depth in <a href="https://danilafe.com/series/static-program-analysis-in-agda/">a series of posts</a>. Framework for formally-verified lattice-based program analysis in <em class="bold">Agda</em>, explained in-depth in <a href="https://danilafe.com/series/static-program-analysis-in-agda/">a series of posts</a>.
</div> </div>
<!-- <!--
<div class="project-container"> <div class="project-container">
@ -75,7 +75,7 @@
<h2>bloglang</h2> <h2>bloglang</h2>
<i data-feather="link" class="project-link-icon"></i> <i data-feather="link" class="project-link-icon"></i>
</a> &mdash; </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>. Compiler for a functional, lazily evaluated language using <em class="bold">C++</em> and <em class="bold">LLVM</em>, explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
</div> </div>
<div class="project-container"> <div class="project-container">
<a class="project-link" href="https://github.com/DanilaFe/maypop"> <a class="project-link" href="https://github.com/DanilaFe/maypop">
@ -83,7 +83,7 @@
<i data-feather="link" class="project-link-icon"></i> <i data-feather="link" class="project-link-icon"></i>
</a> &mdash; </a> &mdash;
<!-- Instructional implementation of a dependently typed functional programming language capable of formal proofs. --> <!-- Instructional implementation of a dependently typed functional programming language capable of formal proofs. -->
Dependently typed functional programming language capable of formal proofs. Dependently typed functional programming language capable of formal proofs, written in <em class="bold">Haskell</em>.
</div> </div>
<!-- <!--
<div class="project-container"> <div class="project-container">
@ -117,7 +117,7 @@
<h2>matrix-highlight</h2> <h2>matrix-highlight</h2>
<i data-feather="link" class="project-link-icon"></i> <i data-feather="link" class="project-link-icon"></i>
</a> &mdash; </a> &mdash;
Tool for collaborative, decentralized, and federated web annotation based on the Matrix protocol. <em class="bold">TypeScript</em>-based browser extension for collaborative web annotation based on the Matrix protocol.
</div> </div>
</div> </div>
</section> </section>