GitHub repository: JetBrains-Research/HumanEval-Dafny
Primary language: Dafny
Description: Translating humaneval into dafny