JetBrains/phpstorm-stubs
PHP runtime & extensions header files for PhpStorm
Public GitHub Catalog
Discovered Sep 26, 2026
JetBrains / jediterm
Pure Java Terminal Emulator. Works with SSH and PTY.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7544679GitHub System ID
JetBrainsOrganization / User
PublicVisibility
ActiveCatalog Status
More from JetBrains
JetBrains/teamcity-azure-active-directory
TeamCity plugin which supports authentication via Microsoft Azure Active Directory
JetBrains/Arend
The Arend Proof Assistant
JetBrains/sbt-ide-settings
SBT plugin for tweaking various IDE settings