michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

project links -> self hosted

Browse source
This commit is contained in:
Michael Zhang 2021-07-13 14:35:51 -05:00
parent ccd16a2648
commit eb2bfd99f0
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
data/projects.yml
View file

@ -2,13 +2,13 @@
desc: Projects that I'm using to learn more about some topic in computer science. desc: Projects that I'm using to learn more about some topic in computer science.
projects: projects:
- name: Ag Test - name: Ag Test
link: https://git.sr.ht/~mzhang/agtest link: https://git.mzhang.io/proglangs/agtest
desc: A small toy attribute grammar. desc: A small toy attribute grammar.
status: incomplete status: incomplete
langs: ["python"] langs: ["python"]
- name: Coq-SSH - name: Coq-SSH
link: https://git.sr.ht/~mzhang/coq-ssh link: https://git.mzhang.io/experiment/coq-ssh
desc: Attempt at formally verifying SSH protocol through Coq. desc: Attempt at formally verifying SSH protocol through Coq.
status: incomplete status: incomplete
langs: ["coq", "ocaml"] langs: ["coq", "ocaml"]
@ -32,7 +32,7 @@
desc: Projects that I did to solve a particular problem or make something useful for myself. desc: Projects that I did to solve a particular problem or make something useful for myself.
projects: projects:
- name: Panorama - name: Panorama
link: https://github.com/iptq/panorama link: https://git.mzhang.io/michael/panorama
desc: Mail client. desc: Mail client.
status: incomplete status: incomplete
langs: ["rust"] langs: ["rust"]