Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
michael pushed to main at michael/mzautomate 2024-11-30 23:00:56 +00:00
a2bc2fdeda initial
michael created repository michael/michael.nvim 2024-11-27 22:43:49 +00:00
michael pushed to master at michael/blog 2024-11-27 22:38:37 +00:00
9f6665b2b1 about page
michael pushed to dev2 at michael/panorama 2024-11-26 05:21:35 +00:00
4933079276 wip
michael pushed to master at michael/plsandbox 2024-11-26 03:12:05 +00:00
f8b86a3129 evaluate
michael pushed to master at michael/plsandbox 2024-11-26 03:06:38 +00:00
d5963f23ea don't warn
michael pushed to master at michael/plsandbox 2024-11-26 03:06:23 +00:00
1b728c62ab bidir
michael pushed to master at michael/plsandbox 2024-11-26 01:49:50 +00:00
dbad9eb094 stlc
michael created repository michael/hamper 2024-11-26 00:14:53 +00:00
michael pushed to main at michael/ablebash 2024-11-23 19:52:33 +00:00
550f22a759 attributes
michael created branch main in michael/ablebash 2024-11-23 19:50:14 +00:00
michael pushed to main at michael/ablebash 2024-11-23 19:50:14 +00:00
3d0f5ffee7 initial
michael created repository michael/ablebash 2024-11-23 18:16:46 +00:00
michael pushed to master at michael/type-theory 2024-11-22 17:45:52 +00:00
8fdbe83f8d wip
michael renamed repository from inference to michael/ttlab 2024-11-18 18:08:10 +00:00
michael pushed to master at michael/tift 2024-11-13 23:49:40 +00:00
feaf5c050b wip
f410eda923 flake
Compare 2 commits »
michael pushed to master at michael/cek-call-cc 2024-11-12 07:49:01 +00:00
99e5df522d vendored
michael pushed to master at michael/cek-call-cc 2024-11-12 07:47:56 +00:00
182eb52220 vendored
michael created branch master in michael/cek-call-cc 2024-11-12 07:46:35 +00:00
michael pushed to master at michael/cek-call-cc 2024-11-12 07:46:35 +00:00
2de7a49042 Uncommitted changes
b2e58c1704 Add Nix files + README
c06439c971 More updates to presentation
360cd32d87 Add some headers
4c87fb529b Restyling
Compare 10 commits »