JetBrains/ide-features-trainer
This IntelliJ IDEA plugin helps use IDE effectively
Public GitHub Catalog
Discovered Oct 5, 2026
JetBrains / ot-coq
ot-coq
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.
#29321056GitHub System ID
JetBrainsOrganization / User
PublicVisibility
ActiveCatalog Status
More from JetBrains
JetBrains/teamcity-deployer-plugin
Deployer plugin for TeamCity CI server
JetBrains/resharper-presentation-assistant
ReSharper extension to show executing commands and keystrokes
JetBrains/markdown
Markdown parser written in kotlin