Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
Filter
Sort
buckeyectf2024
0 0
Updated 2024-09-28 01:32:49 +00:00
_cargo-index
0 0
Updated 2024-04-20 23:34:08 +00:00
cek-call-cc
Agda 0 0
Updated 2024-11-12 07:49:01 +00:00
chow
Rust 0 0
Updated 2021-07-14 08:16:54 +00:00
ciad
TypeScript 0 0
Updated 2024-09-14 06:39:03 +00:00
cinny
JavaScript 0 0
Fork of Cinny
cinny cinnyapp client hacktoberfest matrix matrix-org reactjs
Updated 2023-04-05 14:27:00 +00:00
cordial
Elixir 0 0
Updated 2023-03-17 08:41:31 +00:00
cryptopals
Common Lisp 0 0
Updated 2020-11-09 06:18:51 +00:00
csci8980-f21
HTML 0 0
Updated 2024-05-28 20:44:42 +00:00
ctfgame
Markdown 0 0
Updated 2021-08-22 18:09:32 +00:00
ctftime-discord-bot
Rust 0 0
Keeps your Discord server event list up to date with CTFtime
Updated 2024-01-10 01:54:35 +00:00
cubeviz
TypeScript 0 0
Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
cubical-hott
0 0
Formalization of the HoTT Book using cubical agda
Updated 2024-09-12 05:43:35 +00:00
DDRCompanion
TypeScript 0 0
App for looking up DDR score info, as a PWA.
Updated 2024-05-16 06:22:32 +00:00
ddr-scores
Jupyter Notebook 0 0
https://3icecream.com/profile/mzhang
Updated 2024-06-10 13:26:38 +00:00