GitHub repository: runtimeverification/web-frontend-components
Primary language: TypeScript
Description: NextJS (React) shared components