惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

C
Cybersecurity and Infrastructure Security Agency CISA
S
Security Archives - TechRepublic
Latest news
Latest news
S
Schneier on Security
S
Securelist
T
The Exploit Database - CXSecurity.com
P
Privacy & Cybersecurity Law Blog
N
News | PayPal Newsroom
Cyberwarzone
Cyberwarzone
Webroot Blog
Webroot Blog
S
Secure Thoughts
量
量子位
S
Security Affairs
D
DataBreaches.Net
博
博客园_首页
S
SegmentFault 最新的问题
NISL@THU
NISL@THU
Y
Y Combinator Blog
T
Tor Project blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
钛媒体：引领未来商业与生活新知
钛媒体：引领未来商业与生活新知
Help Net Security
Help Net Security
有赞技术团队
有赞技术团队
罗
罗磊的独立博客
T
Tenable Blog
Hugging Face - Blog
Hugging Face - Blog
T
Threatpost
GbyAI
GbyAI
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
MyScale Blog
MyScale Blog
aimingoo的专栏
aimingoo的专栏
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
博
博客园 - 三生石上(FineUI控件)
酷 壳 – CoolShell
酷 壳 – CoolShell
TaoSecurity Blog
TaoSecurity Blog
I
Intezer
L
LINUX DO - 热门话题
V
V2EX
H
Hacker News: Front Page
P
Proofpoint News Feed
Martin Fowler
Martin Fowler
Hacker News - Newest:
Hacker News - Newest: "LLM"
C
Check Point Blog
L
Lohrmann on Cybersecurity
AI
AI
博
博客园 - Franky
Scott Helme
Scott Helme
Simon Willison's Weblog
Simon Willison's Weblog
Google DeepMind News
Google DeepMind News

News - Marketplace | JetBrains

OpenTelemetry - IntelliJ IDEs Plugin | Marketplace Ayu Islands - IntelliJ IDEs Plugin | Marketplace fleet.run.mcp - Fleet Plugin | Marketplace AI for Rust - Fleet Plugin | Marketplace Rust - Fleet Plugin | Marketplace Shell - Fleet Plugin | Marketplace JSM Helper - IntelliJ IDEs Plugin | Marketplace PMD X - IntelliJ IDEs Plugin | Marketplace RunIt - IntelliJ IDEs Plugin | Marketplace GenerateAllSetter - IntelliJ IDEs Plugin | Marketplace Dev Board - IntelliJ IDEs Plugin | Marketplace Compose Preview Pro - IntelliJ IDEs Plugin | Marketplace News for EmacsJ JetBrains Academy - IntelliJ IDEs Plugin | Marketplace News for Qoder - Agentic AI Coding Platform RSocket Requests In HTTP Client - IntelliJ IDEs Plugin | Marketplace Scala - IntelliJ IDEs Plugin | Marketplace CC GUI (Claude or Codex) - IntelliJ IDEs Plugin | Marketplace Awsum - IntelliJ IDEs Plugin | Marketplace DevServer - IntelliJ IDEs Plugin | Marketplace tenshine Git Flow - IntelliJ IDEs Plugin | Marketplace MailKit - IntelliJ IDEs Plugin | Marketplace Copy with Line Numbers - IntelliJ IDEs Plugin | Marketplace GitLab Duo - IntelliJ IDEs Plugin | Marketplace IdeaVim - IntelliJ IDEs Plugin | Marketplace Stan Language Support - IntelliJ IDEs Plugin | Marketplace Lean AI - IntelliJ IDEs Plugin | Marketplace Rust Run - Fleet Plugin | Marketplace fleet.settingsImport - Fleet Plugin | Marketplace Native Debugging Support - IntelliJ IDEs Plugin | Marketplace AI Assistant Internal Sandbox - IntelliJ IDEs Plugin | Marketplace JetBrains AI Assistant Experimental Features - IntelliJ IDEs Plugin | Marketplace JetBrains AI Assistant - IntelliJ IDEs Plugin | Marketplace Nostos - IntelliJ IDEs Plugin | Marketplace ActionFX - IntelliJ IDEs Plugin | Marketplace Mermaid Visualizer - IntelliJ IDEs Plugin | Marketplace shadcn Helper - IntelliJ IDEs Plugin | Marketplace Bazel - IntelliJ IDEs Plugin | Marketplace Kotlin Multiplatform - IntelliJ IDEs Plugin | Marketplace Vim - Fleet Plugin | Marketplace fleet.teamcity - Fleet Plugin | Marketplace Spellchecker for Kotlin - Fleet Plugin | Marketplace Spellchecker for Java - Fleet Plugin | Marketplace Spellchecker - Fleet Plugin | Marketplace Shell Run - Fleet Plugin | Marketplace CheckStyle-IDEA - IntelliJ IDEs Plugin | Marketplace Claude Code Chat - IntelliJ IDEs Plugin | Marketplace BetterPy - IntelliJ IDEs Plugin | Marketplace Copy Pretty Git Log - IntelliJ IDEs Plugin | Marketplace GitHub Notifications - IntelliJ IDEs Plugin | Marketplace Seq MCP - IntelliJ IDEs Plugin | Marketplace Cline - IntelliJ IDEs Plugin | Marketplace GitHub PRs Monitor - IntelliJ IDEs Plugin | Marketplace AI Terminal Tools - IntelliJ IDEs Plugin | Marketplace News for EnvY News for ARO Language Support JPA 3D - IntelliJ IDEs Plugin | Marketplace Azd - IntelliJ IDEs Plugin | Marketplace GitLab Pipeline Watcher - IntelliJ IDEs Plugin | Marketplace Customize Word Separators - IntelliJ IDEs Plugin | Marketplace Symfony Plugin - IntelliJ IDEs Plugin | Marketplace NextCodeGen AI Assistant - IntelliJ IDEs Plugin | Marketplace MCP Server for Code Intelligence - IntelliJ IDEs Plugin | Marketplace DeepSeek Coder AI - IntelliJ IDEs Plugin | Marketplace Flutter - IntelliJ IDEs Plugin | Marketplace Dart - IntelliJ IDEs Plugin | Marketplace Gemini Code Assist - IntelliJ IDEs Plugin | Marketplace Unit File Support (systemd) - IntelliJ IDEs Plugin | Marketplace Class2String - IntelliJ IDEs Plugin | Marketplace LSP4IJ - IntelliJ IDEs Plugin | Marketplace wor - IntelliJ IDEs Plugin | Marketplace CodeAgent - IntelliJ IDEs Plugin | Marketplace Window Accent - IntelliJ IDEs Plugin | Marketplace Ona Remote - IntelliJ IDEs Plugin | Marketplace CodeGPT AI Assistant - IntelliJ IDEs Plugin | Marketplace Remote: WSL - Fleet Plugin | Marketplace Webpack - Fleet Plugin | Marketplace Zip - Fleet Plugin | Marketplace HTML and XML - Fleet Plugin | Marketplace YAML - Fleet Plugin | Marketplace Vue.js - Fleet Plugin | Marketplace Wobbler - Fleet Plugin | Marketplace Welcome Screen - Fleet Plugin | Marketplace WebLSP - Fleet Plugin | Marketplace TOML - Fleet Plugin | Marketplace fleet.webFormatterUtils - Fleet Plugin | Marketplace Theme Designer - Fleet Plugin | Marketplace fleet.toolchain - Fleet Plugin | Marketplace TextMate - Fleet Plugin | Marketplace Terraform - Fleet Plugin | Marketplace Svelte - Fleet Plugin | Marketplace Tailwind CSS - Fleet Plugin | Marketplace Swift - Fleet Plugin | Marketplace SHIP - Fleet Plugin | Marketplace syntax - Fleet Plugin | Marketplace Stylelint - Fleet Plugin | Marketplace fleet.stickyLinesView - Fleet Plugin | Marketplace Remote: SSH - Fleet Plugin | Marketplace SSH Agent Forwarding - Fleet Plugin | Marketplace fleet.smartMode - Fleet Plugin | Marketplace
Idris 2 (JVM) - IntelliJ IDEs Plugin | Marketplace
2026-06-17 · via News - Marketplace | JetBrains

IDE support for Idris 2, talking directly to the compiler's IDE-mode protocol - works great with the JVM backend (and any idris2 build). Syntax highlighting (lexical...

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。