byShammy/logos-corpus

Logos v1.0 Corpus The training corpus for Logos — the first systems programming language built for AI, not borrowed from humans. Logos v1.0 shipped 2026-05-21. This dataset is the curated corpus of .logos programs as of v1.0.0 — cookbook recipes, algorithm examples, standard library, and integration-test fixtures. Every program in this dataset: Typechecks under logosc v1.0.0 (Hindley-Milner inference with effect inference + polymorphism) Refinement contracts (where present)… See the full description on the dataset page: https://huggingface.co/datasets/byShammy/logos-corpus.