From eb2bfd99f08b7d068738ee77df379acf450e8e05 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 13 Jul 2021 14:35:51 -0500 Subject: [PATCH] project links -> self hosted --- data/projects.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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"]