JetBrains/ot-coq
ot-coq
Public GitHub Catalog
Discovered Oct 5, 2026
JetBrains / ide-features-trainer
This IntelliJ IDEA plugin helps use IDE effectively
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.
#29967563GitHub 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