Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
Filter
Sort
safex11
Rust 0 0
Updated 2023-08-20 10:10:09 +00:00
sandbox
0 0
Updated 2024-06-05 15:16:36 +00:00
searchinblog
Rust 0 0
Updated 2023-01-26 15:36:59 +00:00
selfstats
Jupyter Notebook 0 0
Updated 2023-03-18 23:44:00 +00:00
shitter
Nix 0 0
Updated 2021-08-03 21:58:14 +00:00
smell
0 0
Language that compiles to various shells, like Amber-lang
Updated 2024-11-03 07:35:50 +00:00
Spectral
Lean 0 0
Mirror of https://github.com/cmu-phil/Spectral in case it ever disappears
Updated 2024-08-07 03:39:17 +00:00
sqlite-interval-tree
Rust 0 0
Updated 2024-06-27 21:24:53 +00:00
stable-diffusion-webui
Python 0 0
Updated 2023-04-04 05:09:55 +00:00
stellaris-mod-lang
0 0
Updated 2023-01-10 15:28:47 +00:00
stlc-fstar-proof
0 0
Updated 2024-05-22 16:12:32 +00:00
sweeper
CSS 0 0
Updated 2023-09-20 15:04:21 +00:00
thm
TypeScript 0 0
Updated 2024-08-01 02:50:12 +00:00
tift
Rust 0 0
Updated 2024-11-13 23:49:40 +00:00
toymk
Rust 0 0
Updated 2020-12-07 12:01:04 +00:00