Repositories Users Organizations Code
Filter
Sort
michael/ aoclang2024
Rust 0 0
Updated 2024-12-02 10:12:07 +00:00
michael/ group-anki
0 0
Updated 2024-12-02 01:38:36 +00:00
michael/ mzautomate
Rust 0 0
Automation software
Updated 2024-11-30 23:52:09 +00:00
michael/ michael.nvim
0 0
Updated 2024-11-27 22:43:49 +00:00
michael/ blog
Markdown 0 0
Personal blog
Updated 2024-11-27 22:38:37 +00:00
michael/ panorama
Svelte 0 0
Personal life manager
Updated 2024-11-26 05:21:35 +00:00
michael/ plsandbox
TypeScript 0 0
Updated 2024-11-26 03:12:05 +00:00
michael/ hamper
0 0
Updated 2024-11-26 00:14:53 +00:00
michael/ ablebash
Silver 0 0
Updated 2024-11-23 19:52:33 +00:00
michael/ type-theory
Agda 0 0
Research
Updated 2024-11-22 17:45:52 +00:00
michael/ ttlab
TypeScript 0 0
Updated 2024-11-18 18:08:10 +00:00
michael/ tift
Rust 0 0
Updated 2024-11-13 23:49:40 +00:00
michael/ cek-call-cc
Agda 0 0
Updated 2024-11-12 07:49:01 +00:00
michael/ agdaup
Rust 0 0
INSTALL AGDA EVERYWHERE
Updated 2024-11-03 09:00:25 +00:00
michael/ smell
0 0
Language that compiles to various shells, like Amber-lang
Updated 2024-11-03 07:35:50 +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/ 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