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