Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
Filter
Sort
triangle
C 0 0
Extracted version of Triangle by Jonathan Richard Shewchuk
Updated 2023-11-21 03:31:30 +00:00
ts-nat-comm
TypeScript 0 0
Updated 2023-04-21 01:47:33 +00:00
ttlab
TypeScript 0 0
Updated 2024-11-18 18:08:10 +00:00
ttnibbles
0 0
Updated 2024-08-21 21:41:23 +00:00
type-theory
Agda 0 0
Research
Updated 2024-12-02 11:53:12 +00:00
unimath2024
Coq 0 0
Updated 2024-08-02 15:35:56 +00:00
upback
Rust 0 0
dumbest name for a backup software i will probably never finish anyway
Updated 2023-06-13 10:47:29 +00:00
web-dev-presentation
Typst 0 0
Updated 2023-11-08 03:50:37 +00:00
wedge
Rust 0 0
Block-pushing puzzle game
Updated 2024-01-26 01:41:57 +00:00
weechat-rocketchat
Python 0 0
Updated 2022-05-09 16:23:39 +00:00
wisesplit
TypeScript 0 0
Web service for splitting tax and tip proportionally to the bill
Updated 2023-01-19 17:12:30 +00:00
xv6-aarch64-zig
Zig 0 0
Updated 2023-12-06 05:56:35 +00:00
xv6-riscv-rust
0 0
Updated 2023-08-03 04:56:44 +00:00
zhao
Vue 0 0
Zhao Peng You, Chinese Trick-Taking Card Game
Updated 2021-01-14 20:09:13 +00:00
zigtracer
Zig 0 0
Updated 2022-01-04 08:28:08 +00:00