GitHub repository: wsdo/ring-ui
Description: A collection of JetBrains Web UI components