diff --git a/data/projects.yml b/data/projects.yml index f744ddb..49aac06 100644 --- a/data/projects.yml +++ b/data/projects.yml @@ -2,13 +2,13 @@ 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 + link: https://git.mzhang.io/proglangs/agtest desc: A small toy attribute grammar. status: incomplete langs: ["python"] - 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. status: incomplete langs: ["coq", "ocaml"] @@ -32,7 +32,7 @@ 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 + link: https://git.mzhang.io/michael/panorama desc: Mail client. status: incomplete langs: ["rust"]