JetBrains/arend-lib
Public repository.
Public GitHub Catalog
Discovered Oct 7, 2026
JetBrains / sdkdocs-template
Template to make it easy to set up and maintain SDK documentation sites
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#35284180GitHub System ID
JetBrainsOrganization / User
PublicVisibility
ActiveCatalog Status
More from JetBrains
JetBrains/intellij-platform-gradle-plugin
Gradle plugin for building plugins for JetBrains IDEs
JetBrains/plugin-repository-rest-client
Public repository.
JetBrains/teamcity-rest-client
Client for TeamCity REST API written in Kotlin