Michael Zhang michael
0 followers · 0 following
Repositories
111
 Projects Packages Public activity Starred repositories
michael pushed to master at michael/grub 2023-08-10 21:12:16 +00:00
70acdb39b4 grub
michael pushed to old-master at michael/grub 2023-08-10 21:12:13 +00:00
michael created branch old-master in michael/grub 2023-08-10 21:12:13 +00:00
michael created branch master in michael/mzlib 2023-08-10 17:48:02 +00:00
michael pushed to master at michael/mzlib 2023-08-10 17:48:02 +00:00
1c57ea8913 initial
michael created repository michael/mzlib 2023-08-10 17:47:19 +00:00
michael pushed to master at michael/aah 2023-08-07 23:36:39 +00:00
89e152c715 more stuff working
michael pushed to master at michael/aah 2023-08-07 09:21:53 +00:00
98001c9273 not working version
michael pushed to master at michael/aah 2023-08-07 08:00:38 +00:00
cc2bb42c11 some refactor
michael pushed to master at michael/aah 2023-08-07 07:44:09 +00:00
0043739228 initial wip
michael created branch master in michael/aah 2023-08-07 07:44:09 +00:00
michael created repository michael/aah 2023-08-07 07:43:25 +00:00
michael pushed to master at school/type-theory 2023-08-05 09:58:55 +00:00
97a3ead49e agda bug
michael created repository michael/linkd 2023-08-04 03:38:06 +00:00
michael created repository michael/xv6-riscv-rust 2023-08-03 04:56:44 +00:00
michael pushed to master at michael/eduproj2 2023-08-02 02:20:19 +00:00
ebcce28d5b wtf
michael pushed to master at michael/eduproj2 2023-08-01 22:53:56 +00:00
9c531c047b add in my page
michael created branch master in michael/eduproj2 2023-08-01 22:38:13 +00:00
michael pushed to master at michael/eduproj2 2023-08-01 22:38:13 +00:00
1711557f4c initial
michael opened issue michael/eduproj2#2 2023-08-01 22:12:52 +00:00
Allow local usage of the entire website