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
literate-agda-0001.jsonl4 linesDownload Raw Back to literate-agda
1version https://git-lfs.github.com/spec/v12oid sha256:90ffd4c3eb4fd34ea5125a84123d990c596042140a902ee3692951b18b67b9143size 321295684