From a163172b8bc69753343eb39008e521026c4fbc03 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 6 Jul 2021 14:56:01 -0500 Subject: [PATCH] project list --- content/projects/_index.md | 33 +++++++++++++++++++++++++++++++++ layouts/partials/post-list.html | 2 +- 2 files changed, 34 insertions(+), 1 deletion(-) create mode 100644 content/projects/_index.md diff --git a/content/projects/_index.md b/content/projects/_index.md new file mode 100644 index 0000000..69c5dc0 --- /dev/null +++ b/content/projects/_index.md @@ -0,0 +1,33 @@ ++++ +title = "projects" +type = "generic" +layout = "single" ++++ + +# Projects + +## Research Projects + +- [**Ag test**][4] (unfinished), a small toy attribute grammar. +- [**Coq-SSH**][5] (unfinished), attempt at formally verifying SSH protocol through Coq. + +## Exploration Projects + +- [**Rust Linker**][6] (unfinished), a parallel rust linker. +- [**asciinema**][8], reimplementation of asciinema. + +## Utility Projects + +- [**Panorama**][7] (unfinished), a mail client. +- [**Leanshot**][1], a Linux screen capture tool. +- [**Garbage**][2], a CLI interface to the trash can API. +- [**Markout**][3], extract code blocks for a particular language from Markdown files. + +[1]: https://git.mzhang.io/michael/leanshot +[2]: https://git.sr.ht/~iptq/garbage +[3]: https://git.mzhang.io/michael/markout +[4]: https://git.sr.ht/~mzhang/agtest +[5]: https://git.sr.ht/~mzhang/coq-ssh +[6]: https://git.mzhang.io/michael/rsld +[7]: https://github.com/iptq/panorama +[8]: https://git.mzhang.io/michael/asciinema diff --git a/layouts/partials/post-list.html b/layouts/partials/post-list.html index 43c718b..45a1fe4 100644 --- a/layouts/partials/post-list.html +++ b/layouts/partials/post-list.html @@ -3,7 +3,7 @@ - {{ .Title }} + {{ .Title }}