GitHub repository: scallop-lang/scallop-lang.github.io
Primary language: Jupyter Notebook
Description: Official Website of Scallop Language