GitHub repository: Copilot-Language/copilot-sbv
Primary language: Haskell
Description: SBV backend for Copilot.