Team Ai
Datasetpublic

bigcode/commitpack

CommitPack is is a 4TB dataset of commits scraped from GitHub repositories that are permissively licensed.

sourceHugging Facemitupdated 2y agoView on Hugging Face
79likes12kdownloads
isabelle-0001.jsonl4 linesDownload Raw Back to isabelle
1version https://git-lfs.github.com/spec/v12oid sha256:15aa8cb48315928e11a0e327ed7d61e617d49551f39e78726258cd5223fd61443size 5242803294