From eae8265313a3eba42f1951d361becad0502baf97 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 6 Jul 2021 17:27:33 -0500 Subject: [PATCH] projs --- assets/sass/_content.scss | 15 ++++++++++ assets/sass/main.scss | 2 ++ content/projects/_index.md | 27 +---------------- data/projects.yml | 56 ++++++++++++++++++++++++++++++++++++ layouts/projects/single.html | 33 +++++++++++++++++++++ 5 files changed, 107 insertions(+), 26 deletions(-) create mode 100644 data/projects.yml create mode 100644 layouts/projects/single.html diff --git a/assets/sass/_content.scss b/assets/sass/_content.scss index 3e17add..195d906 100644 --- a/assets/sass/_content.scss +++ b/assets/sass/_content.scss @@ -117,6 +117,21 @@ pre > code { font-size: 0.9em; } +table.table { + border: 1px solid $faded; + border-collapse: collapse; + + thead { + background-color: $smaller-text-color; + color: $background-color; + } + + tbody td, thead th { + border: 1px solid $faded; + padding: 5px; + } +} + .toc { background-color: lighten($background-color, 10%); padding: 20px; diff --git a/assets/sass/main.scss b/assets/sass/main.scss index c0e23a9..77708ba 100644 --- a/assets/sass/main.scss +++ b/assets/sass/main.scss @@ -10,6 +10,7 @@ $monofont: "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas" $text-color: #15202B; $small-text-color: lighten($text-color, 10%); $smaller-text-color: lighten($text-color, 18%); + $faded: lightgray; $link-color: royalblue; @import "content"; } @@ -19,6 +20,7 @@ $monofont: "Roboto Mono", "Roboto Mono for Powerline", "Inconsolata", "Consolas" $text-color: #D4D4D4; $small-text-color: darken($text-color, 10%); $smaller-text-color: darken($text-color, 18%); + $faded: #666; $link-color: lightskyblue; @import "content"; } diff --git a/content/projects/_index.md b/content/projects/_index.md index 69c5dc0..e315b03 100644 --- a/content/projects/_index.md +++ b/content/projects/_index.md @@ -1,33 +1,8 @@ +++ title = "projects" -type = "generic" +type = "projects" 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/data/projects.yml b/data/projects.yml new file mode 100644 index 0000000..7609acc --- /dev/null +++ b/data/projects.yml @@ -0,0 +1,56 @@ +- category: Research Projects + desc: Projects that I'm using to learn more about some topic in computer science. + projects: + - name: Ag Test + link: https://git.sr.ht/~mzhang/agtest + desc: A small toy attribute grammar. + status: incomplete + langs: ["python"] + + - name: Coq-SSH + link: https://git.sr.ht/~mzhang/coq-ssh + desc: Attempt at formally verifying SSH protocol through Coq. + status: incomplete + langs: ["coq", "ocaml"] + +- category: Learning Projects + desc: Projects that I'm using to learn more about particular technologies. + projects: + - name: rsld + link: https://git.mzhang.io/michael/rsld + desc: A parallel rust linker. + status: incomplete + langs: ["rust"] + + - name: asciinema + link: https://git.mzhang.io/michael/asciinema + desc: Reimplementation of the terminal recorder asciinema. + status: mvp + langs: ["rust"] + +- category: Utility Projects + desc: Projects that I did to solve a particular problem or make something useful for myself. + projects: + - name: Panorama + link: https://github.com/iptq/panorama + desc: Mail client. + status: incomplete + langs: ["rust"] + + - name: Leanshot + link: https://git.mzhang.io/michael/leanshot + desc: Linux screen capture tool. + status: working + langs: ["rust"] + + - name: Garbage + link: https://git.sr.ht/~iptq/garbage + desc: CLI interface to the FreeDesktop Trash Can API. + status: working + langs: ["rust"] + + - name: Markout + link: https://git.mzhang.io/michael/markout + desc: Extracts code blocks for a particular language out of Markdown. + status: working + langs: ["rust"] diff --git a/layouts/projects/single.html b/layouts/projects/single.html new file mode 100644 index 0000000..9754a2c --- /dev/null +++ b/layouts/projects/single.html @@ -0,0 +1,33 @@ +{{- define "content" -}} + +{{ .Content }} + +{{ range .Site.Data.projects }} +

{{ .category }}

+ +

{{ .desc }}

+ + + + + + + + + + + + + {{ range .projects }} + + + + + + + {{ end }} + +
NameDescriptionLangStatus
{{ .name }}{{ .desc }}{{ delimit .langs ", " }}{{ .status }}
+{{ end }} + +{{- end -}}