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