introspector/meta-coq-common

Name: introspector/meta-coq-common
Creator: introspector
Published: 2024-02-15 16:49:02
License: 暂无描述

Hugging Face2024-02-15 更新2024-03-04 收录

下载链接：

https://hf-mirror.com/datasets/introspector/meta-coq-common

下载链接

链接失效反馈

官方服务：

资源简介：

--- license: mit ---

提供机构：

introspector

原始信息汇总

数据集许可证

许可证类型: MIT

introspector/meta-coq-template-coq

--- license: mit ---

Hugging Face2024-02-12 更新20

introspector/meta-introspector

meta-introspector数据集提供了一个全面的索引，包含366万个文件，并带有完整的git来源跟踪。该数据集支持：跨数百万文件的代码搜索、从文件到git提交的来源追踪、大规模仓库分析、以及基于真实世界代码数据的机器学习训练。数据集结构包括每个文件的路径、git仓库根路径、提交哈希、分支名称、远程URL、GitHub/GitLab文件URL以及是否被git跟踪的状态。数据集包含366万多个

Hugging Face2026-01-18 更新90

introspector/meta-memes

--- license: openrail ---

Hugging Face2025-09-03 更新50

introspector/meta-coq-utils

--- license: mit ---

Hugging Face2024-02-13 更新50

introspector/meta-meme

该数据集包含2177个从Meta-Meme形式验证系统生成的咨询URL。每个URL代表与9个AI缪斯之一关于仓库中特定文件的咨询。数据集的结构包括文件路径、AI缪斯（Calliope、Clio、Erato、Euterpe、Melpomene、Polyhymnia、Terpsichore、Thalia、Urania）、咨询工具（llm、lean4、rustc、minizinc）、URL、内容预览（文

Hugging Face2026-01-25 更新60