blog/content/projects/_index.md
2021-07-06 14:56:01 -05:00

33 lines
981 B
Markdown

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