由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

extension

话题找到数量

rocq-community/rocq-lsp

OCaml

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

coq ide interactive-theorem-proving
rocq-community
rocq-community 开发者
206
62
739
排名 #5
7月9日
查看详情

LukasLen/Privacy-Extension-For-WhatsApp-Web

CSS

隐藏您的WhatsApp消息，直到鼠标悬停时才会显示。

browser-extension chrome firefox
LukasLen
LukasLen 开发者
180
65
888
+1
排名 #7
6月9日
查看详情

nextcloud/passman-webextension

Svelte

Passman Nextcloud 应用的浏览器扩展

chrome-extension firefox-extension passman
nextcloud
nextcloud 开发者
118
49
571
排名 #9
8月1日
查看详情

rjmurillo/ai-agents

Markdown

用于软件开发的多智能体系统

agentic-ai ai-agents ai-assistant
rjmurillo
rjmurillo 开发者
45
14
952
排名 #10
9月17日
查看详情

OCamlPro/superbol-studio-oss

OCaml

Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server

cobol emacs-mode lsp-server
OCamlPro
OCamlPro 开发者
43
17
738
排名 #12
6月20日
查看详情

bajrangCoder/zed-scss

Tree-sitter Query

Zed的SCSS与SASS支持

extension scss zed
bajrangCoder
bajrangCoder 开发者
32
19
761
排名 #2
4月13日
查看详情

hashiiiii/PrefabLens

Zig

UnityYAML 资产的人类可读差异。

chrome-extension cli code-review
hashiiiii
hashiiiii 开发者
30
2
250
+1
排名 #14
9月7日
查看详情

Anarios/return-youtube-dislike

JavaScript

恢复YouTube差评显示的Chrome扩展程序

chrome-extension dislike dislike-button
Anarios
Anarios 开发者
0
0
1.1k
排名 #12
9月11日
查看详情

PortSwigger/mcp-server

Kotlin

Burp的MCP服务器

extension
PortSwigger
PortSwigger 开发者
0
0
734
排名 #12
8月22日
查看详情
助手