GitHub repository: FStarLang/pulse-sandbox
Primary language: F*
Description: A repo to get started with Pulse, with a devcontainer