enriquerodbe/spring-integration
Spring Integration provides an extension of the Spring programming model to support the well-known Enterprise Integration Patterns (EIP)
Public GitHub Catalog
Discovered Sep 28, 2026
enriquerodbe / coqidea
IntelliJ IDEA plugin for Coq language
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.
#12448980GitHub System ID
enriquerodbeOrganization / User
PublicVisibility
ActiveCatalog Status