plugin-systems

Here are 2 public repositories matching this topic...

The next-generation Markdown editor and knowledge tool, made for writing with AI. Free and open source for macOS, Windows, Linux, iPhone and iPad.

让插件卸载不再静默：相对声明观察面的可逆性判定定理（Lean 4 形式化）+ 三态判决（verified-reversible / declared-irreversible / unknown）

To associate your repository with the plugin-systems topic, visit your repo's landing page and select "manage topics."