34 lines
981 B
Markdown
34 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
|