JetBrains/ot-coq
ot-coq
Public GitHub Catalog
Discovered Oct 1, 2026
JetBrains / idea-gitignore
.ignore support plugin for IntelliJ IDEA
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.
#20956093GitHub 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