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