Michael - Codeberg.org

This website requires JavaScript.

Michael mzhang

0 followers · 0 following

https://mzhang.io
Joined on 2023年04月05日

Projects Packages Public activity Starred repositories

type-theory-book

0 0

Updated 2025年01月09日 17:54:46 +01:00

forgejo

Beyond coding. We forge. (Code of Conduct: https://codeberg.org/forgejo/code-of-conduct)

Updated 2024年12月03日 05:34:53 +01:00

rsop

Stateless OpenPGP (SOP) based on rpgp

Updated 2024年10月16日 06:36:54 +02:00

rpgpie

rpgpie is a higher-level OpenPGP library based on rpgp

Updated 2024年10月16日 06:34:10 +02:00

Block user

Please note that blocking a user has other effects, such as:

You will stop following each other and will not be able to follow each other.
This user will not be able to interact with the repositories you own, or the issues and comments you have created.
You will not be able to add each other as repository collaborators.