Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
Filter
Sort
lean2
C++ 0 0
Mirror of https://github.com/leanprover/lean2 in case it ever disappears
Updated 2024-08-09 09:21:44 +00:00
leanshot
Rust 0 1
Screenshot utility for Linux
Updated 2023-01-31 19:17:15 +00:00
linkd
0 0
Updated 2023-08-04 03:38:06 +00:00
liveterm
Rust 0 0
Updated 2023-02-16 01:44:07 +00:00
localwaka
Python 0 0
Local server for wakatime, statistics for coding activity
Updated 2020-12-21 20:08:38 +00:00
logseq-calendar
TypeScript 0 0
Updated 2023-08-24 21:21:54 +00:00
manim
TypeScript 0 0
Updated 2022-01-03 23:13:27 +00:00
markout
Rust 0 0
Simple tool that extracts code blocks from markdown files.
Updated 2023-01-11 23:11:24 +00:00
matter
TypeScript 0 0
Flexible mind map database
Updated 2024-06-28 00:23:43 +00:00
michael.nvim
0 0
Updated 2024-11-27 22:43:49 +00:00
minitrix
Python 0 0
Updated 2023-01-12 17:54:01 +00:00
mintrix
Rust 0 0
Updated 2021-01-14 20:26:29 +00:00
mlm
MDX 0 0
Updated 2023-09-21 23:20:27 +00:00
mraow
Rust 0 0
all in one chat
Updated 2023-12-25 23:06:16 +00:00
multiclip
Makefile 0 0
Select multiple clipboard targets using ableC
Updated 2020-11-02 20:32:34 +00:00