ReactiveAI/algebraic-stack-fixed

该数据集包含多种编程语言和工具的代码文本数据，如Agda、C、C++、Fortran、GAP、MATLAB、Coq、Isabelle、Lean、Haskell、Idris、Julia、Jupyter、Maple、Python、R和TeX。每个配置都有训练集和验证集（部分配置只有训练集），包含文本数据和相应的字节大小、示例数量。数据集适用于代码分析、自然语言处理等任务。

The dataset contains code text data for various programming languages and tools, including Agda, C, C++, Fortran, GAP, MATLAB, Coq, Isabelle, Lean, Haskell, Idris, Julia, Jupyter, Maple, Python, R, and TeX. Each configuration includes training and validation sets (some configurations only have training sets), with text data and corresponding byte sizes and example counts. The dataset is suitable for tasks such as code analysis and natural language processing.