enriquerodbe/coqidea
IntelliJ IDEA plugin for Coq language
Spring Integration provides an extension of the Spring programming model to support the well-known Enterprise Integration Patterns (EIP)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
IntelliJ IDEA plugin for Coq language