GitHub repository: AdaCore/code_examples_server
Primary language: Python
Description: prototype server for creating interactive "try SPARK / try Ada" webpages