Repositories Users Organizations Code
Filter
Sort
michael/ blog
Markdown 0 0
Personal blog
Updated 2024-10-21 11:42:25 +00:00
michael/ cubeviz
TypeScript 0 0
Cube visualizer for cubical type theory
Updated 2024-10-21 03:55:08 +00:00
michael/ infra2
0 0
Updated 2024-10-21 00:35:31 +00:00
michael/ mzautomate
0 0
Updated 2024-10-21 00:04:18 +00:00
michael/ type-theory
Agda 0 0
Research
Updated 2024-10-20 23:02:19 +00:00
michael/ mzws
0 0
"Michael Zhang Web Services"
Updated 2024-10-20 19:22:39 +00:00
michael/ inference
TypeScript 0 0
Updated 2024-10-20 01:11:17 +00:00
michael/ mzforge
TypeScript 0 0
Updated 2024-10-17 23:48:32 +00:00
michael/ exercises
0 0
Updated 2024-10-17 17:45:21 +00:00
michael/ declarative-web-framework
0 0
Updated 2024-10-11 23:57:58 +00:00
michael/ buckeyectf2024
0 0
Updated 2024-09-28 01:32:49 +00:00
michael/ panorama3
0 0
Updated 2024-09-26 17:49:30 +00:00
michael/ ciad
TypeScript 0 0
Updated 2024-09-14 06:39:03 +00:00
michael/ remark-agda
TypeScript 0 0
Plugin for processing Literate Agda files with Remark
Updated 2024-09-13 00:58:41 +00:00
michael/ cubical-hott
0 0
Formalization of the HoTT Book using cubical agda
Updated 2024-09-12 05:43:35 +00:00
pl/ agtest
0 0
Attribute grammar
Updated 2024-09-01 13:35:17 +00:00
osu/ tweaks
TypeScript 0 0
Updated 2024-08-27 22:09:57 +00:00
michael/ openstellaris
Rust 0 0
Updated 2024-08-22 17:04:47 +00:00
michael/ gitit-docker
Nix 0 0
Updated 2024-08-22 04:34:22 +00:00
michael/ ttnibbles
0 0
Updated 2024-08-21 21:41:23 +00:00